Lambda World Cádiz 2019
who it's for
functional programmers, language designers, compiler engineers, Haskell developers, Kotlin developers, backend engineers, data scientists, blockchain developers
topics
Scala 3 givens and summon; Kleisli categories and monads; data pipelines with PCA; Kotlin data class migration; compile-time CSV and CT eval; Arrow Meta Kotlin compiler plugin; ReasonML and BuckleScript interop; refactoring recursion to folds; property-based testing for Erlang; monoid-driven parallel folds; Plutus and extended UTxO smart contracts; timed session types and automata
| title | author | length |
|---|---|---|
| Implicits Revisited | Martin Odersky | 42m |
An empirical study mines 7,280 projects (18M LOC, 8M implicit call sites, 370k implicit declarations) and finds implicits pervasive but error-prone: name-based… | ||
| A categorical view of computational effects | Emily Riehl | 45m |
Computational effects are presented as T-programs = functions A -> T B, and the talk claims a concrete equivalence: a functor T yields a category of programs… | ||
| Thinking Like a Data Scientist | Em Grasmeder | 32m |
Explains why simple exploration and visualization solve problems better than blind ML: John Snow maps cholera cases, ties deaths to one contaminated well and… | ||
| What the F(p) is Kotlin? | Katie Levy, Shelby Cohen | 27m |
Introduces Kotlin on the JVM alongside existing Java code with a one-feature proof-of-concept, converts Java POJOs to Kotlin data classes in one line, and… | ||
| What FP Can Learn From Static Introspection | Aditya Siram | 46m |
Static introspection and compile‑time function evaluation get concrete with Nim and D demos: compile‑time CSV parsing makes lookups instant but inflates a 2.4… | ||
| Arrow Meta - Enabling Functional Programming in the Kotlin Compiler | Raúl Raja Martínez, Simon Vergauwen | 25m |
Arrow Meta is a Kotlin compiler plugin library that intercepts AST and IR interception and rewrites code before type checking, generates automatic synthetic… | ||
| The Reason for ReasonML | Tianyu Pu | 41m |
ReasonML is a syntax extension to OCaml that produces readable JavaScript via BuckleScript and bsb (run with --w), bringing sound static types and heavy type… | ||
| Refactoring Recursion | Harold Carr | 38m |
Shows concrete Haskell code that starts with explicit recursive sum/product/length and refactors each into folds, then implements fold/unfold/refold patterns… | ||
| So I used Erlang...is my system as scalable as they say it'd be? | Laura M Castro | 40m |
Shows how an Erlang echo service evolves into supervised clusters across nodes and how property based tests find real faults. Uses ProER property-based tests… | ||
| Optimising your code with math | April Gonçalves | 33m |
Shows how equational reasoning and category theory cut a naive O(n^3) max-subarray (all segments → sums → max) down to O(n) by recognizing a monoid… | ||
| Functional Smart Contracts | Manuel Chakravarty | 45m |
Argues that blockchains benefit from pure functional design and formal methods, and shows a concrete stack: Cardano uses a proof-of-stake Ouroboros consensus… | ||
| Time-sensitive protocol: Links From Design to Implementation | Laura Bocchi | 42m |
Develops a formal link from timed protocol specs to implementable abstractions using Timed Session Types and Timed Automata, shows a typing system with virtual… | ||
| Language-Oriented Programming with Racket | Matthias Felleisen | 45m |
Claims that Racket makes creating and composing tiny languages cheap and practical, showing a video DSL that redoes 25 conference videos and cuts manual… | ||
| Fun With Categories | Marco Perone | 41m |
Defines category theory primitives in edct using Idris 2 with dependent types, encoding objects, morphisms, composition and identities and proved associativity… | ||
| You Don't Own Me | J Haigh | 28m |
Rust promises memory and thread safety without a GC by enforcing an ownership model where each value has one owner, moves transfer ownership, and values are… | ||
| A Series of Unfortunate Effects | Robert M. Avram | 28m |
Claims that modelling effects as data yields composable, manipulable computations but pays costs: using monad transformers fixes composition by nesting… | ||
| Painless software development with Haskell | Pawel Szulc | 46m |
Argues Haskell scales to general app development by demoing real code: using aeson and generics for JSON, optparse-generic for CLI records, and servant client… | ||
| Unconference | Alejandro Serrano, Tomás Ruiz, Tapio Rautonen, Alfredo de Hoces, Flavio Corpa | 01h 08m |
Survey of concrete outcomes and tools: a research demo shows higher inductive types in Agda letting data types encode equalities (e.g. plus and minus zero… | ||
| nothing matches | ||