Lambda Days 2016
| title | author | length |
|---|---|---|
| highlights | 04m | |
Six tracks, over 40 speakers and almost 400 attendees create a dense program full of concrete outcomes not promises. An embedded-systems demo shows functional… | ||
| Propositions as Types | Philip Wadler | 57m |
Argues the concrete claim that propositions as types is an exact correspondence: formulas ↔ types, proofs ↔ programs, and normalization = evaluation, not just… | ||
| Things that Matter | Bruce Tate | 46m |
Explains four concrete rules for language success and gives concrete evidence: four principles are incubator/origins, community, make a stand, and adapt or… | ||
| Truth about Types | Bartosz Milewski | 01h 12m |
Claims that types, logic and category theory are interchangeable via the Curry-Howard-Lambek isomorphism and demonstrates concrete encodings: truth ↔… | ||
| The Mysteries of Dropbox | John Hughes | 40m |
Uses QuickCheck shrinking to generate minimal failing sequences against multiple Dropbox clients running in VirtualBox VMs on one laptop and models behavior… | ||
| A board game night with geeks | Felienne Hermans | 48m |
Encodes Quarto as Boolean satisfiability using F#, rewrites rules into CNF and DIMACS, and feeds that to a SAT solver (runs on MiniSat) to produce an explicit… | ||
| Phoenix a web framework for the new web | José Valim | 45m |
Phoenix claims real performance and real productivity by building on Elixir and the Erlang VM and actually demonstrates it: transport-agnostic channels and a… | ||
| Taming Cloud Complexity with F# DSLs | Yan Cui | 41m |
Slides and more info: http://www.lambdadays.org/lambdadays2016/yan-cui
The emergence of Cloud platforms has fundamentally changed the IT landscape, to the… | ||
| Modeling your domain | Norbert Wojtowicz | 37m |
Argues that modeling domain data as EAVT (entity attribute value time) facts stored in an append-only log gives immutability, audit trails and one-way flows… | ||
| Making property based testing easier | Laura M Castro | 28m |
Prototype readSpec tool converts universally-quantified test properties and stateful test models into plain English and shows counterexamples and generated… | ||
| C preprossor macros from functional programs | Boldizsar Nemeth | 23m |
Claims a tool that compiles Haskell (via a GHC plugin working on GHC core) into C preprocessor macros, emitting macro definitions into headers and representing… | ||
| Muvr | Jan Machacek | 52m |
Code runs on wearables and a mobile app does signal processing sensor-data fusion and classification; models and CSV data land on a server where Spark-based… | ||
| Using an actor framework for scientific computing | Krzystof Borowski | 24m |
Scaflow is an Akka-based library and engine that implements scientific workflows with event sourcing persistent actors, supports push and pull worker models… | ||
| Purely Functional Web Apps | Michał Płachta | 34m |
Claims a full pipeline: a Haskell backend that uses haskell-servant to expose a single type-level API, a fetcher that pages through ~1,000 GitLab merge… | ||
| Elmrang Connect | Peer Stritzinger, Claudia Doppioslash | 44m |
Shows a concrete pipeline: an Elm front end talking to Erlang BEAM over WebSockets using Cowboy + bullet to get a single low‑latency TCP connection instead of… | ||
| Practical Demystification of CRDT | Dmitry Ivanov, Nami Naserazad | 40m |
Claim: CRDTs solve offline, concurrent sync by putting merge logic in the data type; TomTom uses an OUR-set (Observed Updated Removed) to add updates to CRDT… | ||
| The Zen of Akka | Konrad 'ktoso' Malawski | 50m |
A practical checklist: prefer one actor is no actor and design parent‑child hierarchies with meaningful names so logs and supervision point to domain concepts… | ||
| The F#orce Awakens | Evelina Gabasova | 41m |
Parses movie scripts with the F# Data HTML type provider and active patterns, patches missing speech by estimating counts for non-speaking characters like… | ||
| Getting Started with Frege | Lech Glowiak | 48m |
Frege claims to be a Haskell-for-JVM and demonstrates building a JSONLint web service end to end, showing JSONLint web service built (~45 minutes), REPL-driven… | ||
| Building Reactive Services Using Functional Programming | Rachel Reese | 37m |
Claims that F# lets services be message driven and resilient using concrete tools: immutable IEvent streams, async workflows with let! and async… | ||
| LFE - a lisp flavour on the Erlang VM | Robert Virding | 44m |
LFE claims to be a proper Lisp that runs on the standard BEAM and performs as efficiently as native Erlang while interoperating seamlessly with OTP. It… | ||
| History and Philosophy of types | Tomas Petricek | 47m |
Survey of a century of concrete episodes: Russell and Church invent types as formal fixes for paradoxes; Algol 58 renames classes to data types; later theory… | ||
| Functional reactive UI with JavaScript | Zaiste | 36m |
Claim: build UIs as pure functions over time by treating events as streams and pushing side effects through drivers. Demonstrations use Cycle.js with RxJS to… | ||
| A brief history of programming languages | Andrea Magnorsky | 31m |
Claims that matter: that lambda calculus equals Turing machines (1936–37) and that early tools actually built include Grace Hopper’s A-0 compiler and… | ||
| Embracing Change (...) | Artur Skowroński | 16m |
Company migrates a small microservice to Clojure on JVM while keeping Java EE elsewhere, drops heavyweight app servers for slimmer Docker images, and adds a… | ||
| Teaching functional programming to noobs | Rob Martin | 49m |
Claims that new developers can learn functional programming quickly through three experiments: a women's internship (five hours a day, five days a week for… | ||
| ACP and PGA | André van Delft | 23m |
Algebraic claims: ACP gives axioms for sequencing, choice, parallelism and synchronous communication and drives an implementation called SubScript extension to… | ||
| Functional Reactive Rust | Eduard Bopp | 35m |
Concrete implementation story: Carboxyl is an FRP library implemented in safe Rust with explicit ownership, borrowing and a sync primitive for pushing events… | ||
| Functional Reactive Programming | Riccardo Terrell | 46m |
Claims that FRP gives first-class behaviors and events and an alternative to the Observer pattern, using Observables to compose time-varying values. Implements… | ||
| Using "Program shaping" and algorithmic skeletons (...) | Chris Brown | 23m |
Uses program shaping plus algorithmic skeletons to refactor an Erlang evolutionary multi‑agent system so parallelism becomes a library call instead of… | ||
| Creating reactive components using ClojureScript React wrappers | Konrad Szydlo | 34m |
Rum claims fewer boilerplate React components by exposing a two‑level API and Rum mixins that let components be plain renderers or gain behavior. Examples show… | ||
| On Language Design | Robert Virding | 01h 01m |
Claim: design languages to solve the real problem (telecom timing, concurrency, fault tolerance), not to indulge syntax or add features. Implementation notes… | ||
| nothing matches | ||