Functional Conf 2025
2025-01-24..2025-01-25
-- online --
[Functional Conf 2014, Functional Conf 2017, Functional Conf 2019, Functional Conf 2025]
who it's for
functional programmers, language designers, compiler engineers, backend engineers, platform engineers, devtools engineers
topics
BEAM concurrency and OTP; Julia for scientific computing; core.async with virtual threads; generative AI testing strategies; SwiftUI functional geometry; Kotlin Either error handling; Mill functional build tool; Haskell codebase analysis plugins; Streamly directory traversal performance; Unison Cloud static deployment; designing software with effects systems; JSON Schema as runtime types
| title | author | length |
|---|---|---|
| Concurrency Oriented Programming In A Modern World | Robert Virding | 39m |
Erlang-like concurrency bakes immutability, lightweight processes and message-passing primitives into the language so systems can run 100,000 lightweight… | ||
| Programming Bits & Atoms with Julia | Viral B Shah | 58m |
Julia is the compiler and ecosystem used to build domain products: Pumas — 26 FDA regulatory submissions, FDA-accepted, >$1B estimated savings, a cloud… | ||
| 12 years supporting Software Architecture teaching with BEAMs | Laura M Castro | 45m |
Over 12 years the course uses the BEAM ecosystem (Erlang then Elixir) and OTP primitives to make students implement and break real architectures: 15-week… | ||
| Clojure core.async Evolution | Alex Miller | 44m |
core.async currently implements go blocks → state machines by a Clojure macro that analyzes code and rewrites it into a pausable state machine so channel… | ||
| Generative AI: Say Goodbye to Deterministic Testing? | Dean Wampler | 46m |
Generative AI introduces non-determinism so deterministic unit tests fail; practical responses include external tool verification (parsers, compilers, security… | ||
| Functional Geometry in Swift & SwiftUI | Daniel H Steinberg | 34m |
Implements Henderson’s 1982/2002 picture language almost letter‑for‑letter in Swift and SwiftUI, using SwiftUI container views and a result builder to express… | ||
| When to be Weird | Michael Snoyman | 36m |
Argues specific criteria for when to adopt new tech: low cost + high benefit wins, high cost + low benefit loses. Cites concrete wins — typed programming… | ||
| Testing API Resiliency using Kotlin: Leveraging FP at Scale | Naresh Jain | 37m |
Kotlin code in Specmatic generates hundreds of contract tests from an OpenAPI spec and then runs them; a 4,430‑line spec would blow up into tens of thousands… | ||
| Mill: A Build Tool Built on Pure Functional Programming | Li Haoyi | 43m |
Mill is a JVM build tool that models builds as pure functional programs so modules are objects and tasks are methods, letting the runtime provide caching… | ||
| The Functional Fix: Kotlin Error Handling Made Elegant | Hari Krishnan | 41m |
Refactors a procedural Kotlin HTTP-request matcher used in Specmatic into a Railway Oriented composition that returns an Either monad and chains via… | ||
| Designing your Data: The Bread & Butter of APL Performance | Aaron W Hsu | 45m |
Practical techniques encode domains into arrays by pairing a relational model with the array model: use inverted tables (column stores) so each field uses… | ||
| Code as Data: Extracting & Analyzing Info from Haskell Codebases | Eswar, Chaitanya | 32m |
500 Haskell developers at JP extract structured facts from million‑line codebases and over 2,000 modules using GHC compiler plugins that actually run after… | ||
| The Expression Problem, Generalised | Tony Morris | 41m |
Wadler’s 1998 formulation (add new cases and new functions without touching old code) expands from sum types to records and nested structures, and the concrete… | ||
| Blazing-Fast Directory Tree Traversal: Haskell Streamly Beats Rust | Harendra Kumar | 37m |
Claims a Haskell program using Streamly and low‑level readdir(3) I/O outperforms Rust fd and matches or beats GNU find on a 60,000‑node Linux tree… | ||
| Compiler-Level Static Checks: Enforcing Safe Functional Dev Patterns | Piyush, Chaitanya | 27m |
A GHC typechecker plugin enforces concrete rules across a codebase of 600k lines and hundreds of developers, rejecting patterns that caused real incidents. Two… | ||
| Hank & Meandro: The Oxbow Code Detectors for Erlang and Elixir | Brujo Benavides | 33m |
Hank (rebar3) and Meandro (mix) are static analyzers that locate oxbow code in Erlang and Elixir by applying conservative, high‑precision rules so reported… | ||
| Eat Your Greens (EYG) a predictable, & useful, programming language | Peter Saxton | 32m |
EYG aims to make programs fully predictable for deployment by combining a structural static type system with managed effects (algebraic effects that are… | ||
| Functional-Reactive User Interfaces in the modern Web Platform | Dario Mannu | 36m |
Argues that end-to-end functional-reactive UIs cut boilerplate roughly 50% less code by treating events as streams and using RxJS primitives like… | ||
| Quickly develop web applications with the FastScala framework | David Antunes | 20m |
FastScala builds a full‑stack web app in 100% Scala full‑stack code, using a JDK 12 core, Bootstrap components, iCEeditor and Chart.js3 integrations, and… | ||
| Unlocking the Potential of OTP: Proven Strategies for Application Dev | Alvaro Callero | 43m |
Shows concrete patterns and measurable results: uses Task.async_stream and a Task.Supervisor to run email sends and currency fetchers concurrently (different… | ||
| Effects, Algebraically yours .. | Debasish Ghosh | 44m |
Argues that effects are pure, algebraic values and demonstrates concrete Scala tooling: Option and Kleisli for partiality and effectful composition, why eager… | ||
| Composing (Clojure) Web Stacks using Functional First Principles | Aditya Athalye | 01h 07m |
Claim: a usable web stack is composable from libraries using functional-first principles. Demo shows a REPL-driven development loop using nREPL and Emacs… | ||
| The Big Problems Facing Functional Programming & a Possible Solution | Randall Ratsch | 43m |
Argues FP is failing because it is niche, lacks libraries, jobs and a killer app, and proposes a pragmatic solution: a new, simple functional language modeled… | ||
| OCaml Bridge Workshop | Kaustubh Maske Patil, Sudha Parimala | 01h 13m |
Live OCaml top-level runs in the browser via JS_of_ocaml and an SVG backend, showing concrete code: translate/rotate/scale transformations, function… | ||
| Writing a Game Boy Emulator in OCaml | Lin Oshitani | 20m |
CAMLBOY is a Game Boy emulator written in OCaml that runs in the browser and aims to boot real cartridges like Pokémon. Implementation focuses on a… | ||
| Rama: the 100x programming platform with functional programming at its core | Nathan Marz | 46m |
Rama claims a 100x reduction in backend code by reimplementing a Twitter-like consumer (Mastodon) in 10k LOC vs. 1M LOC, running live under 100 million bots… | ||
| Doing Math with F# | Sudipta Mukherjee | 18m |
Live notebooks show concrete builds: a 3x3 Leontief matrix inversion implemented with Math.NET to solve X = (I − A)⁻¹D, symbolic parsing and differentiation… | ||
| Type-level interfaces in Haskell & Rust: pragmatic type-level programming | Alexander Granin | 38m |
Presents a concrete design for type-level interfaces implemented in Rust and Haskell: existential wrappers + associated-type traits that hide implementation… | ||
| Developing DSLs with FP: Exploring 3 Strategies Through Examples | Ziyang Liu | 45m |
Compares three concrete DSL strategies with Cardano examples: standalone low-level UPLC uses an untyped lambda core whose evaluator (the CEK machine) literally… | ||
| JSONSchema as a runtime type system - Advanced concepts and practical uses | Damodharan | 39m |
Shows how JSON Schema models runtime types end to end: primitives, arrays, objects, recursion via $ref/$id, generics via dynamicRef and $defs, ADTs with… | ||
| Is Java 24 a Functional Programming Language? | Ben Evans | 47m |
Java 24 adds concrete FP-facing pieces—sealed types with VM-enforced closed hierarchies, records that auto-generate constructors/equals/hashCode for… | ||
| Microservices on Unison Cloud: Statically Typed, Dynamically Deployed | Rúnar Bjarnason | 42m |
Unison Cloud sends and runs function-level code addressed by a 512‑bit content hash so there are no builds or containers: deployment is literally a function… | ||
| Hands-On Intro to Bidirectional Type Inference with Elm | Lucas Dutton, Christopher Anand | 39m |
Implements a bidirectional type inference engine for a simply-typed lambda calculus in Elm, with working infer and check functions, use of Elm's Elm Dictionary… | ||
| Pinpointing memory leaks in production Haskell deployments | Adithya Kumar, Harendra | 41m |
GHC RTS patch adds a lightweight profiling mode that tags every closure with a GCI per-closure tagging ID, dumps HP snapshots to a file, and reports exact… | ||
| A Functional EDSL for Economics Concepts & Models | Allister Beharry | 26m |
An F# embedded DSL called Sylvester EDSL integrates Maxima, Z3, Gambit and JSXGraph (Maxima Z3 Gambit JSXGraph) into a single notation for symbolic algebra… | ||
| Functional Ruby | Keith Bennett | 19m |
Ruby supports closures (blocks, Procs, lambdas) and shows concrete differences: proc vs lambda arity and return behavior — lambdas enforce argument count and… | ||
| Designing software with effects systems | Gautier di Folco | 39m |
Describes migrating a 7‑year Haskell codebase to an effects design using Polysemy with concrete steps: extract IO into effect types, change function… | ||
| Type System Foundations for Super-Charged Semantic Code Search | Ishan Bhanuka | 38m |
Extends Hindley-Milner with directional subtype constraints that record where every value is produced and consumed, including through constructors and across… | ||
| Get started with Bluefin | Tom Ellis | 44m |
Bluefin is an effect library for Haskell that models effects as value-level handles instead of type-level constraints and shows concrete code: a state-based… | ||
| Ancestry of Polymorphism in Clojure | Amogh Talpallikar | 48m |
Tracks polymorphism from biology through CPL and Simula to Clojure, showing concrete mechanics: a send-message example uses a derived keyword hierarchy plus… | ||
| essential event for FP enthusiasts | Brandon Wilson | 02m |
Conference focuses on deep and broad functional programming coverage and lists APL, Scala, Haskell, F#, Erlang and Clojure in its schedule, with an attendee… | ||
| EYG a predictable, and useful, programming language | Peter Saxton | 02m |
EYG claims to cut deployment and dependency complexity by making programs predictable through first-class effect types that pause execution for IO (file reads… | ||
| Effects, Algebraically yours .. | Debasish Ghosh | 02m |
Compares effect libraries for Scala and shows how Keyo implements algebraic effects while contrasting design choices in Cats Effect and ZIO. Demonstrates… | ||
| 12 yrs supporting Software Architecture teaching with BEAMs | Laura M Castro | 02m |
Twelve years of courses use Erlang/Elixir on the BEAM so students implement real architectures — worker/leader, pipeline, peer-to-peer — as hands‑on lab… | ||
| Designing your Data: The Bread and Butter of APL Performance | Aaron W Hsu | 02m |
Shows concrete data encoding techniques for mapping JSON-like records into flat numeric arrays, uses core APL primitives and tacit array transforms to avoid… | ||
| Why you should attend online! | Athira Mukundan | 01m |
Conference offers case studies of functional code running at scale, with practitioners sharing real production postmortems and the actual tradeoffs they lived… | ||
| nothing matches | ||