Lambda Days 2018
| title | author | length |
|---|---|---|
| #5yearsOfLambda | 04m | |
Conference history and concrete outcomes: Lambda Days starts in 2013 and after five years becomes a two‑week event drawing people from over 20 countries with… | ||
| Categories for the Working Hacker | Philip Wadler | 01h 11m |
Explains how category theory models three concrete data types — products sums exponentials — and proves the specific isomorphisms like Hom(C, A×B) ≅… | ||
| How to teach programming and other things? | Felienne Hermans | 01h 01m |
Research shows code smells matter for novices: experiments with Scratch find 30% long‑method and 26% cloning across 250000 Scratch projects, and learners given… | ||
| In Praise of Higher Order Functions | Mary Sheeran | 01h 01m |
Argues that map fold scan are not just concepts but calculational tools: Haskell code, GHC rewrite rules and QuickSpec find and exploit laws; list fusion via… | ||
| We're Building On Hollowed Foundations (...) | Heather Miller | 01h 01m |
Conference data shows widespread adoption: 78% of companies ran open source in 2015 and 60% report adding more in 2017; security failures like OpenSSL —… | ||
| Tracing of Large-scale Actor Systems | Michał Ciołczyk, Mariusz Wojakowski | 20m |
Provides a concrete Scala tracing library called Akka Tracing Tool that instruments send calls via an SBT/aspect step and collects traces into local CouchDB… | ||
| Broaden Scala | André van Delft | 21m |
Proposes concrete Scala syntax changes to reduce boilerplate by introducing dataflow arrows to replace common match and catch patterns, removing unnecessary… | ||
| Healthy side of functional programming | Bartłomiej Górny | 25m |
Claims that functional code is often much shorter (authors cite QuickCheck implementations from 6 to 77 lines), so developers type less and reduce wrist… | ||
| SAFE apps with F# web stack | Tomasz Heimowski | 46m |
End-to-end F# stack delivers a concrete demo: a voting form with name comment and three-score choices implemented with Suave Azure Fable Elmish, client and… | ||
| Knee Deep Into P2P | Fernando Mendes | 36m |
Built a distributed smart office that uses Elixir on Raspberry Pis, a Phoenix web front end, and gossip protocols (gossip, HyParView, Plumtrees) to share… | ||
| Composable event sourcing with monads | Daniel Krzywicki | 23m |
Claims that event sourcing becomes an implementation detail by lifting command results into a Sourced monad that replays each emitted event immediately… | ||
| Understanding Distributed Calculi in Haskell | Pawel Szulc | 44m |
Live Haskell code uses distributed-process (Cloud Haskell) to implement a master/ping/pong example that actually runs, exposing where send/receive semantics… | ||
| It's a small world | Devon Estes | 41m |
Claims are concrete not vague: Watts and Strogatz define small‑world networks with high clustering and low path length, but module graphs in Elixir turn out… | ||
| Stop Guessing and Start Measuring - Benchmarking in Practice | Tobias Pfeiffer | 46m |
Benchmarks using benchee on Elixir and Phoenix produce concrete surprises: argument order and tail recursion change speed and memory, a real bug shows a query… | ||
| Functional Programming in Serverless World | Wojciech Gawroński | 36m |
Author runs and measures real AWS Lambda implementations for Haskell (via shim for Haskell), BuckleScript, ClojureScript, PureScript and F# and compares… | ||
| TDD as in Type-Driven Development | Clement Delafargue | 39m |
Asserts that types can prove broad properties so many tests become unnecessary and recommends a workflow: write precise types, add property tests, then use… | ||
| QuickSpec: A Lightweight Theory Exploration Tool (...) | Maximilian Algehed | 47m |
QuickSpec automatically finds equations by random testing for a given Haskell signature (examples: rev (rev xs) ≡ xs, associativity of ++, many zip/rev… | ||
| Guaranteed SLAs with higher-order functions (...) | Rafał Studnicki | 42m |
Claim: a feedback control loop applied across services enforces SLAs by adjusting incoming load. Implementation uses Elixir at Grindr, a plant that measures… | ||
| Visual-textual functional programming with Luna | Piotr Moczurad | 43m |
Luna presents a live visual-textual isomorphic view of a general-purpose functional language implemented in Haskell with a dataflow graph UI, type checking… | ||
| Freestyle, Free & Tagless: separation of concerns on steroids | Michał Płachta | 42m |
A multiplayer Prisoner’s Dilemma is implemented three ways — hotseat console, single‑player with a bot, and networked multiplayer over Akka — using Cats, the… | ||
| How to look like a statistician (...) | Evelina Gabasova | 43m |
Claim: developers can write Bayesian models without a PhD and let an engine do the heavy lifting. Uses F# prototypes and Stan, implements sampling and a brute… | ||
| Instrumenting mayhem: functional chaos engineering | Szymon Mentel | 39m |
Describes a working Elixir-based chaos platform called typhoon that runs paired load tests, injects faults by spawning anonymous functions on the Erlang VM or… | ||
| Bringing the Fun to Graphics Programming | Andrey Kuzmin | 34m |
Elm claims make WebGL safe and declarative and the community library lands as WebGL 2.0 with a friendlier API. Examples show actual projects: sprite-based… | ||
| Tame Kafka streams with Clojure | Andrea Crotti | 46m |
A live demo uses Kafka Streams with a Clojure REPL to build a working topology end to end: a word‑count example that writes correct lengths to an output topic… | ||
| Functional Rust - An Exploration | Lisa Passing | 41m |
Rust code shows immutability by default with opt-in mutability and constants requiring type annotations, demonstrates closures that capture environment and… | ||
| Picture combinators and recursive fish | Einar W. Høst | 45m |
Implements Henderson’s functional-geometry combinators as F# live coding using the SAFE stack and SVG rendering, defining pictures as box→rendering functions… | ||
| Idris for (im)practical Scala programmers | Marcin Rzeźnicki | 49m |
Claims that Idris-style value-dependent types can be approximated in Scala by encoding: implicit search, phantom types, and type-level encodings of naturals… | ||
| Visualizing Home Automation with GRiSP | Claudia Doppioslash, Adam Lindberg | 39m |
A proof‑of‑concept home automation hub runs a bare metal Erlang VM on a GRiSP board, reads addressable one‑wire temperature sensors, and serves a live JSON… | ||
| Rethinking compilers with live coding | Tomas Petricek | 47m |
Claim: a textbook, batch compiler fails for live coding so replace repeated tree walks with a dependency graph that reuses prior results; implementation builds… | ||
| These 10000 classes I never wrote | Valentin Kasas | 41m |
Claim: use hylomorphisms and recursion schemes (matryoshka) to avoid 10,000 handwritten case classes. Tools: Spark, Kafka, Avro, Parquet, Play JSON validation… | ||
| Finite-state machines? Your compiler wants in! | Oskar Wickström | 46m |
Concrete examples show how to encode a checkout FSM end to end: Haskell ADTs + IO runner models states and events, then an MTL-style type class with associated… | ||
| Realtime Functional Reactive Programming | Peer Stritzinger, Kilian Holzinger | 45m |
Erlang is ported to RTEMS and runs on the GRiSP/Trisport hardware so developers get 300 MHz CPU and 64 MB RAM usable from Erlang with drivers for Pmods… | ||
| Scripting with Luerl | Barbara Chassoul | 20m |
Luerl implements Lua as a thin skin on the BEAM and claims a faithful Lua VM and compiler that omit the C API while exposing a straightforward Erlang API. It… | ||
| Signature Inference for Functional Property Discovery | Tom Sydney Kerckhove | 17m |
Implements a tool called EasySpec that generates QuickSpec signatures from GHC metadata, runs QuickSpec repeatedly on tiny chunks of relevant functions, and… | ||
| Scala(ble) High-Performance Computing | Dawid Dworak, Jakub Bujas | 21m |
A Scala framework implements a biological-habitat simulator using Akka Actors with shard-based Akka Cluster deployment, custom serialization, grid-splitting… | ||
| Pattern-Based Optimization (...) | Dániel Berényi | 23m |
Register to Lambda Days newsletter to receive updates: http://www.lambdadays.org/lambdadays2018/#contact
Dániel Berényi
Dániel is a physicist working on… | ||
| Introducing HDD: Hughes Driven Development | José Valim | 48m |
Elixir adds a code formatter (based on Hughes’s document algebra) and a property-testing library via stream_data; formatter ships in v1.6/v1.7 and runs fast… | ||
| Scaling functional multi-agent computations (...) | Daniel Krzywicki | 23m |
Claims that a streaming execution model yields fine-grained concurrency for multi-agent evolutionary systems and implements it with Akka Streams on Scala. Key… | ||
| Beauty and the beast Haskell on JVM | Jarek Ratajski | 45m |
Eta targets GHC compatibility by compiling STG to JVM bytecode and claims you can reuse hackage packages with Cabal patches for C imports; benchmarks show… | ||
| What, if anything, is a llama? | Jonas Winje | 43m |
A browser-embeddable lambda-calculus evaluator gets built and it actually runs: it parses terms, performs beta-reduction step-by-step, and returns strings for… | ||
| Suggesting Valid Substitutions For Typed Holes | Matthías Páll Gissurarson | 42m |
Extension accepted into GHC that uses the compiler’s typechecker to list actual identifiers and multi-argument constructions that fit a hole, not vague… | ||
| Lightning talk - Expressions of Change | Klaas van Schelven | 04m |
Claims that program modifications as primitives make change first-class and that composition laws exist for those modifications. Implementation is a custom… | ||
| Lightning talk - A distributed video sharing system of the future | Tom Gebert | 05m |
Claims a fully decentralized YouTube clone built on a torrentlike distributed hash table and a Haskell DHT library, with videos split into chunks and spread… | ||
| Lightning talk - Parallel static analysis in Elixir | Tom Brukner | 06m |
An interactive code viewer calculates which functions can run from a chosen thread using a very simple static analysis and spawns lightweight tasks that stream… | ||
| Lightning talk - Progress after one year development of Elchemy | Krzysztof Wende | 02m |
Claims a working Elm→Elixir compiler after one year that emits fully readable Elixir output so generated code can be used as the primary source, preserves… | ||
| Lightning talk - Cryptomonads | Bartłomiej Kuczyński | 04m |
Argues that the title is a joke and the concrete claim is that stitching trending labels like cryptography, blockchain and functional programming does not… | ||
| nothing matches | ||