Lambda World Cádiz 2018
who it's for
functional programmers, Haskell developers, Scala developers, JavaScript developers, Elixir developers, Rust developers, frontend engineers, tooling and test engineers
topics
Haskell influence on mainstream languages; functional lenses in JavaScript; Rust ownership and trait bounds; Elixir supervision trees and processes; tagless final effect algebras; property-based testing with ScalaCheck; Postgres + Haskell + PureScript stacks; composable streaming and resource management; TypeScript migration with fp-ts Task; monad transformer to tagless migration; indexed state and protocol types; ad hoc proof automation
| title | author | length |
|---|---|---|
| What Haskell Taught Us When We Weren't Looking | Eric torreborre | 38m |
Haskell’s concrete influence on mainstream languages is spelled out: a 2,000-line C++ configurator is refactored into composable functions; Java, Scala and… | ||
| Rust and Haskell, sitting in a tree | Lisa Passing | 33m |
Compares concrete Rust features to Haskell origins: shows type inference working on literals and vectors but notes Rust requires function annotations for… | ||
| Functional Programming in Anger | David Nolen | 42m |
ClojureScript compiles to JavaScript and supports an interactive REPL, hot reloading with Figwheel and live edits inside IntelliJ Cursive running a… | ||
| Functional Lenses in JavaScript | Flavio Corpa | 32m |
Builds a tiny lenses library in plain JavaScript: implements a one-line curry function, helpers like prop and assoc, a lens constructor and the operations… | ||
| Elixir - functional, concurrent, distributed programming | Andrea Leopardi | 37m |
Elixir runs on the Erlang VM and offers lightweight VM-managed processes with message passing and immutable data so concurrent state avoids locks; mailboxes… | ||
| Headfirst into Haskell | Abby Sassel | 32m |
Year-long, on-the-job Haskell learning that results in a small web app: a Postgres-backed service that surfaces test runtimes to a PureScript frontend using… | ||
| How to get away with functional programming in frontend applications | Gabriele Petronella | 43m |
Argues that injecting functional programming into an existing JavaScript app is practical: set up TypeScript alongside Babel or replace the transpiler, add… | ||
| A roadtrip with monads: from MTL, through tagless to BIO | Pawel Szulc | 39m |
A small Scala program composes console, third‑party weather client and a cache into an ask–fetch–judge loop that compiles and runs. It uses Monix Task with… | ||
| Testing in the world of Functional Programming | Luka Jacobowitz | 46m |
Advocates property-based testing with concrete fixes: uses ScalaCheck plus newtypes and the scala-newtype macro so arbitraries generate valid UUIDs/dates… | ||
| Boring use cases for exciting types | Itamar Ravid | 31m |
Scala examples show concrete implementations: a WriterT timing wrapper that threads per-step durations through IO to measure a compute-CV pipeline without… | ||
| Writing a Screencast Video Editor in Haskell | Oskar Wickström | 38m |
Komposition is a Haskell desktop editor that successfully edits screencasts by combining automatic scene classification (moving vs still frames) and… | ||
| Imposter Syndrome and Individual Competence | Jessica Rose | 32m |
Explains how impostor feelings and Dunning–Kruger interact with concrete studies and tactics: cites a general-knowledge test of 2,500 students showing the… | ||
| Diagrammatic Execution Models for Functional Languages | Koko Muroya, Steven W.T. Cheung | 48m |
Diagrammatic semantics represents programs as graphs where a token moves around a program diagram and rewrites visited parts; it implements concrete strategies… | ||
| Keynote: How Does Code Sound? | Felienne Hermans | 45m |
A set of experiments and workshops shows developers lack a consistent way to read code aloud: 25 experienced programmers and classroom tests produce wide… | ||
| How to make ad hoc proof automation less ad hoc | Aleksandar Nanevski | 35m |
Coq proof automation becomes an instance of ad hoc polymorphism: dependent overloaded theorem records encode both a heap shape and a proof, and Coq’s… | ||
| Dueling Keyboards | Chris Ford | 44m |
Compares musical and computer keyboards by showing which exact ratios and tunings get built into keys and why that matters for harmony, including live… | ||
| nothing matches | ||