Lambda World 2017
2017-10-26..2017-10-27
Cádiz, Spain
[Lambda World 2015, Lambda World 2016, Lambda World 2017, Lambda World 2024, Lambda World 2025]
who it's for
functional programmers, Scala developers, Haskell developers, Kotlin developers, language designers, frontend engineers, academic educators, cloud/serverless developers
topics
category theory applications; profunctor optics derivation; Naperian functors and applicatives; Hindley-Milner type inference; redux-saga vs redux-thunk; Church encodings and Y combinator; recursion schemes and catamorphisms; Kategory effects and optics; monad transformer StateT issues; F# with Azure Functions; length-indexed vectors and GPU codegen; teaching functional programming
| title | author | length |
|---|---|---|
| Category Theory in Life | Eugenia Cheng | 41m |
Category theory is presented as a toolkit—objects and morphisms, composition and invertibility, commutative diagrams and universal properties—used to model… | ||
| Profunctor Optics: The Categorical Approach | Bartosz Milewski | 46m |
Derives profunctor optics from category theory by applying the Yoneda lemma inside the functor and profunctor categories, uses adjunctions (currying) and… | ||
| APLicative Programming with Naperian Functors | Jeremy Gibbons | 45m |
Shows that APL-style implicit lifting, alignment and static shape checks are expressible in Haskell’s type system rather than a custom language: rank… | ||
| Choosing Your Next Programming Language | Andrea Magnorsky | 41m |
Argues there is no single best paradigm and advocates choosing by concrete tradeoffs: implements a small Hindley-Milner type inference in F# to show the… | ||
| Do This, Not That! Side-Effect Management in UIs | Yulia Startsev | 46m |
Compares using redux-thunk (awaiting promises inside action creators) versus redux-saga (generators with yield fork/join, channels and cancel) to manage async… | ||
| Lambda Core - Hardcore | Jarek Ratajski | 41m |
Scala code reconstructs Church encodings from scratch using only the compiler and the small presentation library badlang to render lambdas. It builds Church… | ||
| A Pragmatic Introduction to Category Theory | Daniela Sfregola | 41m |
Practical, non‑mathematical introduction that claims category concepts let codeers reason about composition and metadata by actually coding them: builds a… | ||
| Going Higher | Alejandro Serrano | 36m |
Covers three concrete capabilities and tradeoffs: higher-order functions let code accept behavior—for example merge with conflict resolver that takes a… | ||
| Functional Programming in Kotlin with Kategory | Raúl Raja Martínez, Paco Estévez | 40m |
Kategory is a Kotlin library that ports Typelevel Scala ideas (cats) and ships ready-to-use datatypes (Option, Try, Either, IO/effects) with lawful instances… | ||
| Monad Transformer State | Michael Snoyman | 34m |
Claim: lifting control-style IO functions over transformers that carry mutable monadic state can silently discard updates. Demonstrations use lifted-async and… | ||
| FP Degustation Menu | Hanneli Tavante | 31m |
Starts by converting a real Python web-scraper into composable steps using map/filter/reduce, then shows how a single None/exception in chained transforms… | ||
| Peeling the Banana: Recursion Schemes from First Principles | Zainab Ali | 34m |
Derives catamorphism from primitive recursion and functor algebras, implements generic folds and unfolds in Scala, and models factorial as a hylomorphism by… | ||
| Maths for Programming, Fun, and Creativity | Dave Gurnell, Noel Welsh | 38m |
Maths-as-abstraction proves practical: algebraic Monoids with identity and associativity let different domains share the same reduce logic, enabling parallel… | ||
| Adjunctions in Everyday Life | Rúnar Bjarnason | 48m |
Claim: adjunctions are the concrete pattern behind many FP constructions, shown with Haskell code and category theory. Demonstrations: curry/uncurry as an… | ||
| Serverless Apps with Azure Functions in F# | Ruth Yakubu | 43m |
Builds a Homeland Security prototype in 30 minutes using F#, Azure Functions, Logic Apps and the Azure Cognitive Services Video API to extract faces from video… | ||
| Teaching functional programming in the ivory tower ... and in the kitchen | Eugenia Cheng, Bartosz Milewski, Rúnar Bjarnason, Alejandro Serrano, Rafael Gomez, Javi Ferrer González, Jeremy Gibbons, Pablo Trinidad, Juan Jose Vazquez, Juan M. Serrano, Noel Welsh | 01h 34m |
Panel compares concrete training tactics and outcomes: industry teams adopt Scala in 2014 to tackle concurrency, distribution and eventual consistency, with… | ||
| Kotlin 102 Beyond the Basics | Hadi Hariri | 46m |
Covers concrete Kotlin features: property delegation with built-ins like lazy/observable/vetoable, creating custom delegates, reified generics via inline… | ||
| nothing matches | ||