Functional Conf 2019
2019-11-13..2019-11-17
Bengaluru, India
[Functional Conf 2014, Functional Conf 2017, Functional Conf 2019, Functional Conf 2025]
| title | author | length |
|---|---|---|
| Logic Programming à la Carte | Edward Kmett | 47m |
A Haskell logic programming framework guanxi (關係) combines MiniKanren style relational search with SMT/SAT tactics and propagators to scale synthesis; a Scheme… | ||
| Joy - Maintaining Passion for Programming | Bruce Tate | 38m |
A career narrative moves from Java into Ruby and then into Elixir and Erlang, spun into the book Seven Languages in Seven Weeks and hands‑on experiments… | ||
| Programming Obesity: A Code Health Epidemic | Aaron W Hsu | 52m |
Argues that generalized pointers are the main cause of systemic bloat and shows a working APL-based compiler that stores syntax trees as a depth vector, not… | ||
| Functional Conf 2019 - Bengaluru, India | Nov. 13-17 | Edward Kmett, Andrea Leopardi, Bruce Tate, Aaron W Hsu | 01m |
Functional Conf 2019 is Asia's premiere Functional Programming conference.
This year's keynote speakers are:
- Edward Kmett, Chairman @ Haskell Core Libraries… | ||
| Coding LiveView | Bruce Tate | 48m |
Live code builds Conway’s Game of Life on Phoenix LiveView using Elixir, Phoenix channels (WebSockets) and OTP, rendering a 50x50 board entirely server-side… | ||
| Your First Haskell Web App With WAI And Warp | Michael Snoyman | 47m |
Builds a minimal Haskell web server using WAI and Warp, showing a Hello World with responseBuilder and a real JSON service backed by an STM TVar map. Explains… | ||
| An Intuition for List Folds | Tony Morris | 52m |
Defines a cons list as nil or cons and gives precise rules: left fold is a loop used for sum, product, length, reverse (linear time by flipping cons), and… | ||
| Streamly: Declarative Concurrency And Dataflow Programming In Haskell | Harendra Kumar | 48m |
Overview: Streamly is a Haskell library for writing programs in a high level, declarative data flow programming paradigm. It provides a simple API, very close… | ||
| Propagators | Edward Kmett | 46m |
Defines propagators as monotone functions between join-semilattices and proves termination and deterministic results under simple sufficient conditions like… | ||
| Dr. Strangepipes Or: How I Learned To Stop Worrying && Function In Shell | Aditya Athalye | 01h 39m |
"What scares the Shell out of people?
Artefacts of the long and idiosyncratic history of Unix.
We have so many powerful, stable, widely-available Unix tools… | ||
| Papers We Love - Elixir Edition | Andrea Leopardi | 21m |
Elixir core uses research to build concrete tools: a code formatter based on John Hughes’s pretty-print algebra and Christian Lindig’s strict pretty printing… | ||
| Why Is Haskell So Hard To Learn? (And How To Deal With It) | Saurabh Nanda | 50m |
Says Haskell’s steepness comes from specific features: immutability and recursion force pure, non‑mutating solutions so beginners must rewire how they loop… | ||
| Q&A Panel Discussion With Code Beam Lite India Speakers | Andrea Leopardi, Bruce Tate, Mohd Maqbool, Sujatha Hemmady, Nikhil More, Ravi Chandra Padmala | 48m |
Panelists argue crypto belongs in native code and point to NIFs/OpenSSL/Rust for CPU-heavy hashing rather than pure Erlang/Elixir; binary pattern-matching… | ||
| Q & A Session With Functional Conf Speakers | 54m | |
Panel records that a company runs 100,000 lines of Haskell in production and one maintainer claims 2.5 million lines under care, planning to shrink to… | ||
| Zippers | Tony Morris | 43m |
Explains concrete zipper shapes (for a list: left-list, focus, right-list; for a multiway tree: sibling lists, parent context, children) and shows zippers… | ||
| After The Crash | Ravi Chandra Padmala | 44m |
"Let it crash" gets thrown around a lot in the Erlang community. An experienced programmer (with understandably different experiences) on first encountering… | ||
| My Journey with Erlang at Redbus | Sujatha Hemmady | 45m |
Going from Java to Erlang is not hard if given proper support. This talk is about the roller coaster journey with Erlang to build a scalable, soft real-time… | ||
| Building a MySQL Database Driver in Elixir | Mohd Maqbool | 49m |
Claims that Elixir’s binary pattern matching plus Erlang sockets let you build a working MySQL driver quickly: a prototype parses the initial handshake, OK/EOF… | ||
| BEAM Architecture Handbook | Andrea Leopardi | 47m |
Practical rules for BEAM apps: use processes for isolation and concurrency but avoid raw spawn and prefer GenServer, Task.async/await and Task.async_stream… | ||
| Do you OOP in Elixir? | Nikhil More | 19m |
One of the strategies being adopted by RoR or Java software developers in adopting Elixir is they have not yet adapted themselves to unlearn the OOP in… | ||
| Hierarchical Free Monads & Software Design in Functional Programming | Alexander Granin | 50m |
Argues that hierarchical Free Monads give clear inversion of control: business logic lives in layered free-monad languages (APL → SQL DB → beam) and… | ||
| nothing matches | ||