LambdaConf 2020 Global Edition
2020-06-23
-- online --
[LambdaConf 2015, LambdaConf 2017, LambdaConf 2018, LambdaConf 2019, LambdaConf 2020 Global Edition, LambdaConf 2024, LambdaConf 2025]
as the organisers put it
LambdaConf is the world's premier annual conference on commercial functional programming.
who it's for
Scala developers, Haskell developers, backend engineers, platform engineers, data engineers, engineering managers, library authors
topics
ZIO actors; ZIO Query batching; ZIO STM transactional memory; Greyhound Kafka client; Scala server toolkit (http4s, doobie); Streamly concurrency patterns; phantom and existential types; monoidal catamorphisms (recursion schemes); isomorphisms in ML pipelines; APL for machine learning and deployment; Postgres persistence with Doobie
| title | author | length |
|---|---|---|
| Zio Actors | Mateusz Sokół | 40m |
ZIO-Actors is a small, strongly typed actor library built on ZIO that produces an ActorSystem as a Task and spawns actors with unique names and typed… | ||
| Concurrency in Haskell with Streamly | Morgan Thomas | 52m |
Claims a practical recipe for fast, reliable concurrency in Haskell using Streamly streams plus MVars, TVars, STM and ReaderT IO, shows code on GitHub and… | ||
| Economic Argument for Functional Programming | Michael Snoyman | 01h 26m |
Argues that adoption decisions hinge on concrete economics not ideology: shows math with birdhouse numbers (normal profit $65 vs golden $50, marginal cost $90… | ||
| Enhancing Machine Learning and Data Visualization Pipelines with Isomorphisms | Jason Grafft | 01h 30m |
Claims that realizing isomorphisms inside pipelines reduces unnecessary transformations and raises explainability while not magically fixing algorithmic cost… | ||
| Monoidal Catamorphisms | Bartosz Milewski | 58m |
Claims that a monoidal catamorphism combines a recursion scheme cata with a fold-that-hides-a-monoid yielding a reusable pattern are demonstrated concretely… | ||
| Wicked Fast API Calls with ZIO Query | Adam Fraser | 01h 02m |
ZIO Query is a Scala library that captures queries as ZQuery values, turning requests into Request and DataSource values that a run/runAll interpreter batches… | ||
| The Many Paths Towards Functional Programming Language Adoption | Phillip Carter | 01h 28m |
Claim: mainstream FP influence comes from frameworks not languages, with React Spark and Google JAX cited as examples; observable data shows Stack Overflow… | ||
| Scala Server Toolkit: How to Write A FP Microservice Step-by-step | Jakub Janeček | 49m |
Claims a reusable Scala Server Toolkit that codifies Avast best practices and boots FP microservices using ZIO or Monix, pureconfig, http4s, doobie transactors… | ||
| Declarative Concurrency With ZIO STM | Dejan Mijic | 01h 10m |
Claims a stack-safe for arbitrary-length transactions STM implemented in ZIO with a mutable journal and primitives like TMap TQueue TPromise TSemaphore, shows… | ||
| How to use Phantom Types and Existential Types in Production | Harold Carr | 01h 03m |
Shows concrete Haskell code (repo linked) that parses gauge readings, validates them and carries that validation as types: phantom types attach proofs to… | ||
| Greyhound - Powerful Pure Functional Kafka library | Natan Silnitsky | 43m |
Greyhound is a pure‑functional Kafka SDK rewritten on ZIO and released by Wix with concrete guarantees: used by more than 1000 event‑driven microservices… | ||
| Modern APL in the Real World: Theory, Practice, Case Studies | Aaron W Hsu | 01h 17m |
Claim: Modern APL delivers concise, high‑performance systems and often removes the need for external libraries; demos include a client pilot that implements ML… | ||
| nothing matches | ||