Functional Conf 2017
2017-11-16..2017-11-19
Bengaluru, India
[Functional Conf 2014, Functional Conf 2017, Functional Conf 2019, Functional Conf 2025]
| title | author | length |
|---|---|---|
| Functional Performance | Martin Thompson | 43m |
Benchmarks show linear reads hitting caches at 0.8 ns per element while dependent random loads jump to ~90 ns, exposing prefetch, TLB and parallel miss limits… | ||
| Pilgrim's Progress to the Promised Land | Robert Virding | 39m |
Migrating to Elixir/OTP surfaces concrete pitfalls and remedies: design for millions of lightweight processes with isolated state and asynchronous messages… | ||
| Concurrent Languages are Functional | Francesco Cesarini | 39m |
Argues that future concurrent languages adopt immutable state and message passing as core features, showing Erlang/OTP’s actor model, ETS and BEAM semantics… | ||
| Elixir by the Bellyful | Bryan Hunter | 48m |
Explains why Elixir sits on the Erlang VM/OTP and what actually makes it fast and reliable: lightweight processes with 1–2KB initial heaps and per-process GC… | ||
| An Introduction to Erlang From behind the Trenches | Francesco Cesarini | 49m |
Erlang claims real wins: WhatsApp runs 450M users and hit a 54 billion‑message day while operating on 200 servers with 13 backend engineers, thanks to… | ||
| A practical guide to GenStage with a real life use case | Gyanendra Aggarwal | 41m |
Elixir GenStage is a very interesting abstraction (behavior) and can be used very effectively to solve many complex problems that fall under… | ||
| Building a collaborative painting canvas with Phoenix | Khaja Minhajuddin | 50m |
Shows building a real time collaborative painting canvas using Elixir on the BEAM, Phoenix for websockets and channels, and an HTML <canvas> frontend; demo… | ||
| Demos and Lightning Talks | 46m | |
Live demo runs a 400×400 “universe” with 2,000 ships as separate Erlang processes, observable from another node showing memory, process counts and per-node… | ||
| Erlang & Akka Actors - A story of tradeoffs | Pranav Rao | 01h 03m |
The Actor model has long been known to be great at modeling concurrent and parallel problems in a declarative, safe way. The challenge has always been the cost… | ||
| Turn Hours into Seconds- Concurrent Event Processing | Emil Soman | 40m |
Case study refactors a slow, lock-based ranking job into a message-driven pipeline using Flow and GenStage, replacing global locks with a producer queue and… | ||
| Code Jugalbandi | Dhaval Dalal, Morten Kromberg | 49m |
FizzBuzz implemented for the first 20 numbers using Haskell, APL and array math shows concrete differences: Haskell composes lazy cycles and zipWith3 lazy… | ||
| Design Patterns vs Anti pattern in APL | Aaron W Hsu | 54m |
Argues that APL rewards concise, human-centered notation by following 8 patterns (brevity, macro over micro, transparency over abstraction, idioms over… | ||
| Functional Programming in Aviation | Tony Morris | 56m |
Shows concrete results: a Haskell logbook with lenses that compiles to PDF/HTML and lives in Git for audits, a weight‑and‑balance generator that produces… | ||
| Haskell SpriteKit- a Purely Functional API | Manuel Chakravarty | |
Haskell binding to Apple SpriteKit provides a purely functional scene representation and a real-time adaptor that translates Haskell-side changes into minimal… | ||
| Making sense of the Haskell type system | Ryan Lemmer | 49m |
Traceable examples show Haskell evolving from Haskell 98 to modern code by using GADTs to encode sized lists, type families for compile‑time arithmetic (one… | ||
| Tests, Derivations, Proofs | Roger Hui | 48m |
Uses APL and a custom assert utility to express executable assertions that fully specify correctness: tests for the Diamond Cutter check shape (2n+1 by 2n+1 or… | ||
| The Tale of Troy | Aloïs Cochard | 56m |
Rust brings Haskell-like features to systems code and claims real wins: Servo code and parts of Firefox show measurable speedups and parallelism that earlier… | ||
| All Chat Applications | Peter Saxton | 43m |
A working Elixir chat app is built: a supervised Raxx/Plug web server using process groups for room broadcasts, streaming HTTP responses, and an OTP… | ||
| A peek in to Elm Architecture | Jayaram Sankaranarayanan | 53m |
A working Elm page gets built live: a sender UI with recipient and message fields, a send button that issues an HTTP POST, a JSON decoder that parses a… | ||
| Git under the hood with OCaml | Romain Calascibetta | 22m |
Shows how the Git object model is implemented in OCaml: immutable tree and blobs represented as content addressed values, computing SHA-1 object ids from raw… | ||
| Lessons Learned using PureScript to build Mobile App Dev Framework | Vimal | 47m |
Transactional apps are nothing but simple conversational flows between the User and System. They can be written using a simple UX DSL leveraging continuation… | ||
| Demos and Lightning Talks | 38m | |
A live BEAM demo runs 2,000 ships in a 400×400 universe observable via Erlang observer, with behavior types switched at runtime (first 700 become “run” ships)… | ||
| High Performance Data Mart Using Event Plots | Chaitanya Chalasani | 26m |
Reporting data for finite state machine transactions like calls require exhaustive data mining into 10s and 100s of parameters for 1000s of calls per hour… | ||
| Mining Functional Patterns | Debasish Ghosh | 49m |
Using a programming language that supports first class functional programming doesn’t necessarily imply that the code you write is functional. Functional… | ||
| Rebar3 | Mark Allen | 44m |
rebar3 replaces chaotic rebar2 internals with repeatable builds via a lock file, Hex integration and direct publishing to hex.pm, and a built-in rebar3 shell… | ||
| Practical eff monad for micro services | Eric torreborre | 51m |
Zalando builds an article microservice using the Eff monad to type effect stacks, a reader-based dependency injection layer (generated by annotations) and tree… | ||
| Making it Fast: The Power of Benchmarking | Cameron Price | 31m |
Shows a concrete Elixir case: an Advent of Code 2D-lights solution first implemented with a map that runs tens of seconds, then reimplemented with Erlang… | ||
| Eta Fibers: Towards Better Concurrency on the JVM | Rahul Muttineni | 50m |
Eta implements lightweight, cooperative Fibers on the JVM as a library with small Java runtime extensions, exposing a non-blocking fiber monad with forkFiber… | ||
| Learning Computer Architecture | Manoj Govindan | 43m |
Builds teaching simulators in Erlang and TypeScript and shows what actually works: implements gates, a one‑bit ALU and a 32‑bit ALU with built‑in shifter… | ||
| Taming & Composing High Performance Stream-Oriented Processing Systems | Riccardo | 48m |
Builds real pipelines in C# and F# with Akka Streams and the Reactive Streams protocol and shows concrete numbers: a CSV stock-ticker replay spikes memory from… | ||
| Umbrella Apps-Winter is coming | Luis Ferreira | 42m |
Argues that umbrella apps are a convention for packaging bounded contexts in Elixir/Phoenix to improve maintainability, not a microservice silver bullet, and… | ||
| Poka Yoke Mistake proofing via Functional Programming | Bryan Hunter | 46m |
Shows concrete poka-yoke patterns: use Elixir’s supervision trees to “let it crash” and auto-restart processes instead of try/catch spaghetti; use Elm’s purity… | ||
| Service Discovery using CRDTs | Mushtaq Ahmed, Umesh Joshi | 48m |
Service Discovery is an important aspect of microservices, particularly when using containers on elastic infrastructure. Most popular approaches for service… | ||
| Real-world Haskell: Good, Bad, & Ugly | Saurabh Nanda | 57m |
We have spent the better part of a year introducing Haskell, typed languages, and functional programming, at Vacation Labs. After writing 250,000+ lines of… | ||
| nothing matches | ||