Lambda World 2016
2016-09-30..2016-10-01
Cádiz, Spain
[Lambda World 2015, Lambda World 2016, Lambda World 2017, Lambda World 2024, Lambda World 2025]
who it's for
scala developers, functional programmers, java developers, language designers, compiler engineers, backend engineers, clojure developers, frontend web developers
topics
Java 8 streams and Optional; type-level programming with Shapeless; dependent types and totality (Idris); JavaFX dashboards with streams; CRDTs and Lasp edge computation; GHC laziness and STG optimization; Typelevel Scala compiler fixes (SI-2712); free monads and coproducts in Scala; Akka actor migration patterns; PureScript virtual DOM and Halogen; evolving language extensions and macros; data science with Clojure
| title | author | length |
|---|---|---|
| Pragmatic Functional Refactoring with Java 8 | Raoul-Gabriel Urma | 37m |
Shows concrete refactorings from legacy Java to Java 8: replace ad‑hoc find loops with method references and Predicate objects, swap manual null checks for… | ||
| The Dialectics of Type-Level Programming | Aaron Levin | 41m |
Claim: compilers can compute useful program logic at compile time. Uses Scala and Haskell, plus libraries/ideas from Shapeless and Servant, to force the… | ||
| Type-driven Development of Communicating Systems in Idris | Edwin Brady | 41m |
Idris uses dependent types and totality checking to make concrete claims: total functions terminate or produce finite prefixes of infinite results, and IO is… | ||
| Java 8 (and 9!) in Anger | Trisha Gee | 53m |
Builds a real end-to-end app that consumes a canned Twitter feed (published at about two tweets per second) and shows a JavaFX dashboard with a leaderboard, an… | ||
| Declarative, Convergent Edge Computation | Christopher S. Meiklejohn | 41m |
Claim: a programming model lets edge devices operate offline and still converge without global coordination. It composes CRDTs into a restricted dataflow… | ||
| Working Hard to Keep Things Lazy | raichoo | 36m |
Starts from a buggy length that uses non-tail recursion and eats 632 MB (another variant 903 MB at 10% productivity) and explains why laziness is… | ||
| Typelevel Scala Rebooted | Miles Sabin | 56m |
Typelevel Scala ships a patched compiler that actually fixes SI-2712 (higher‑kinded type inference), backports it to 2.11 and provides a 2.12‑aligned build; it… | ||
| Describe & Conquer (& Freek) | Pascal Voitot | 48m |
Concrete recipe and tradeoffs for separating business description from execution using Scala: represent domain actions as Free monads over a combined… | ||
| Adopting Actors... an epic tale of loss and learning | Iain Hull | 32m |
Migration from stateless Java to Akka/Scala runs on ~3,000 nodes and grows from 3.5M to ~25M tasks/month, revealing concrete anti‑patterns: a movie star actor… | ||
| Real-World Functional Scala | Chris Birchall | 48m |
Amigo is a small Play + Scala AMi bakery that generates Ansible playbooks, writes Packer configs, spawns Packer, parses its stdout and records status in… | ||
| The Pure Functional Web | Bodil Stokke | 43m |
Compares Elm’s single-source-of-truth Elm architecture with PureScript’s closer-to-Haskell approach, emphasizes type classes (semiring for numeric genericity)… | ||
| Evolving Functional Programming Languages | Erik Osheim | 41m |
Argues that evolving functional languages splits into compiler plugins and macros (opaque, global, can speed code — machinist claims up to ~5x for numeric… | ||
| Category Theory for the Working Hacker | Philip Wadler | 51m |
Explains how types, logic and category theory are the same machinery by giving concrete categorical semantics for lambda calculus terms: models products and… | ||
| Doing Data Science with Clojure | Simon Belak | 43m |
Argues Clojure wins for exploratory data work by manipulating nested structures instead of forcing 2D dataframes, shows a small library that composes with core… | ||
| nothing matches | ||