Lambda Days 2017
| title | author | length |
|---|---|---|
| Lambda Days 2017 | John Hughes | 04m |
Names a 30‑year‑old paper Why Functional Programming Matters (retrospective) and restates specific classic results alongside a handful of papers that shaped… | ||
| Keynote: Why Functional Programming Matters | John Hughes, Mary Sheeran | 01h 03m |
A clear inventory of concrete claims and outcomes: Church encodings and lazy evaluation enable whole-value designs; a DARPA comparison yields 85 lines of… | ||
| The Thrilling Adventures of Lovelace, Babbage & the Analytical Engine | Sydney Padua | 37m |
Shows that Ada actually writes machine programs and long footnotes proposing computation beyond arithmetic, and that Babbage’s Analytical Engine contains a… | ||
| Building the systems of tomorrow | Txus Bach | 34m |
Claims that Idris and dependent types plus total functional programming can eliminate whole bug classes, and shows concrete evidence: government unemployment… | ||
| Detecting Recursion Schemes in Haskell Functions (...) | Adam D. Barwell | 25m |
Claims an automated detector finds concrete recursion schemes in Haskell98 code by computing the least general generalisation of function bodies, implemented… | ||
| Automatically Deriving Cost Models for Structured Parallel Processes(...) | Kevin Hammond | 25m |
Uses hylomorphisms and a dependent-type-driven rewrite to derive operational and cost semantics for algorithmic skeletons and proves both semantics sound… | ||
| Smart Spreadsheets | Enzo Alda | 48m |
Claims that spreadsheets’ failures come from three design sins—poor data abstraction, model/view entanglement, and no functional abstraction—and shows a… | ||
| On the paradigm of functional programming | Stanislaw Ambroszkiewicz | 20m |
Claims that functionals as hardware are concrete cyclic dataflow graphs: boards of sockets and plugs that implement higher‑order types, with primitives apply… | ||
| Testing with mutants | Jan Stępień | 42m |
Mutation testing audits test suites by generating small code variants and checking whether tests fail; here it’s implemented for Clojure using rewrite-clj and… | ||
| Practical Lambda Calculus | Jonas Winje, Einar W. Høst | 45m |
Live coding shows a small lambda interpreter running inside Emacs and builds booleans numbers and lists from raw lambda forms, implements successor predecessor… | ||
| GenStage and Flow | José Valim | 54m |
GenStage implements a demand-driven back-pressure contract so producers only emit what consumers request (defaults: max_demand 1,000, min_demand tunes… | ||
| Building a Graphical IDE in Elm/Purescript (...) | Claudia Doppioslash | 46m |
A web-based graphical IDE for a visual PLC language compiles to BEAM and runs on the Erlang VM, communicates over a custom websocket stack with a Cowboy… | ||
| A song of types and errors (...) | Valentin Kasas | 38m |
Practical account of turning Scala experimental code into a maintainable codebase: uses Play Framework forms, EitherT + Future (monad transformers) to unify… | ||
| Fast Neural Networks… a no brainer! | Riccardo Terrell | 44m |
Clear claim: a working neural net implemented in F# that maps neurons to agent-based neurons and composes layers as functions, then parallelizes the… | ||
| A Practical Introduction to Akka Streams | Jacek Kunicki | 48m |
http://www.lambdadays.org/lambdadays2017/jacek-kunicki
Stream processing is a hot topic today and it’s easy to get lost among all the possibilities. In this… | ||
| Keeping the flow going: Data-flow oriented workflow systems | Annette Bieniusa | 24m |
Claims a data‑flow workflow where the flow is a purely functional program that guarantees consistency while letting users perform tasks in any order as… | ||
| Elixir and money | Tomasz Kowal | 44m |
Argues that Elixir handles money by design: it matches CAP tradeoffs so systems choose availability vs strong consistency deliberately, uses Postgres and… | ||
| I can haz no Futures? | Michał Płachta | 41m |
http://www.lambdadays.org/lambdadays2017/michal-plachta
You will learn how simple functional patterns can be used to make your business logic cleaner and more… | ||
| Taming the Asynchronous Beast with CSP Channels in JavaScript | Vincenzo Chianese | 46m |
http://www.lambdadays.org/lambdadays2017/vincenzo-chianese
As of today, we have multiple ways to handle the concurrency in Javascript: callbacks, Promises… | ||
| Futhark: A High-Performance Purely Functional Array Language | Troels Henriksen | 19m |
http://www.lambdadays.org/lambdadays2017/troels-henriksen
We give a presentation of the purely functional array language Futhark, supporting regular nested… | ||
| (...) How to turn (Liquid) Haskell into a theorem prover | Niki Vazou | 26m |
Claims a lightweight way to retro-fit theorem proving into Haskell by reflecting function definitions into output refinement types so their code becomes logic… | ||
| Erlang-based Desynchronised Urban Traffic Simulation (...) | Wojciech Turek | 25m |
Implements a micro‑scale urban traffic simulator that accepts controlled desynchronisation to avoid full barrier sync and still respect the cellular‑automata… | ||
| Implementing Event-Driven Microservices Architecture (...) | Nikhil Barthwal | 26m |
Claims an event driven microservices architecture implemented in F# on Microsoft Azure actually runs at Jet scale with 700+ microservices, 25,000 orders/day… | ||
| Augmenting Existing Procedural HPC Application Codes(...) | Daniel Rubio Bonilla | 26m |
Claim: annotate existing C/Fortran loops with pragmas as functional annotations that declare algebraic properties (rings, associativity, neutral elements) so a… | ||
| The Dramatic Consequences of the Open Source Revolution (...) | Heather Miller | 57m |
Claim: open source dependence has surged to 78% of companies citing quality or features as the reason, while critical projects suffer low staffing — a study… | ||
| Full Stack Type-safety: Elm with Scala | Choucri Fahed | 36m |
http://www.lambdadays.org/lambdadays2017/choucri-fahed
Elm is a simple and fun language for writing rich and robust web applications. Elm generates performant… | ||
| What Orwell's 1984 Can Teach Us about Programming | Daniel Beskin | 42m |
http://www.lambdadays.org/lambdadays2017/daniel-beskin
One might think that the bleak, anti-utopian reality of Orwell's 1984 would be a poor choice for a… | ||
| Free the Conqueror! (Refactoring divide-and-conquer functions) | Tamás Kozsik | 23m |
A refactoring pipeline statically finds divide‑and‑conquer candidates and applies a sequence of semantics‑preserving transformations to reach a… | ||
| Functional programming guerilla in the land of Rust | Tomasz Barański | 31m |
Claims that Rust provides real functional tools: first‑class closures, algebraic enums, traits like type classes, hygienic macros and heap boxing. Builds a… | ||
| Keynote: Build Good Software: Of Politics and Methods | Brian L Troutwine | 01h 01m |
http://www.lambdadays.org/lambdadays2017
I would like to consider the environment in which software is constructed. I want to reflect generally on two… | ||
| Some History of Functional Programming Languages | David Turner | 44m |
A clear chain of claims and artifacts: the Lambda calculus yields normal order = lazy evaluation and that becomes practical via graph reduction / combinator… | ||
| Going bananas with recursion schemes for fixed point data types | Pawel Szulc | 51m |
Claims a working Scala library and patterns not just theory: a Matryoshka Scala port implements generalized catamorphisms over Fix types, with code that builds… | ||
| The Origins of Free | Adam Warski | 40m |
Starts from a definition of algebra and shows, step by step, that the term algebra is initial so any variable assignment yields a unique homomorphism… | ||
| Using Clojurescript to launch iOS/Android apps to 1M users | Emin Hasanov | 40m |
Claim: a small company ships iOS and Android apps to a million users after a three‑month build with one mobile developer. Implementation uses ClojureScript +… | ||
| Keynote: Embodied Interactions | Wiesław Bartkowski | 01h 21m |
http://www.lambdadays.org/lambdadays2017/wieslaw-bartkowski
Computing power embodied in everyday objects, in private and public spaces. What opportunities do… | ||
| That's My Monkey (...) | Rob Martin | 55m |
Claims an architecture (domain driven design, event store + CQRS, distributed databases and message queues) that lets business logic be pure functions so… | ||
| Distributed Computing challenges in the gaming & betting industry | Suavek Zając | 40m |
Distributed Computing challenges in the gaming and betting industry - Suavek Zając (Lambda Days 2017)
http://www.lambdadays.org/lambdadays2017/suavek-zajac
W… | ||
| Building a security testing service with F# | William Blum | 45m |
http://www.lambdadays.org/lambdadays2017/william-blum
Project Springfield is a business incubation from Microsoft that brings best practices for security… | ||
| Wireless Small Embedded Erlang Applications | Peer Stritzinger | 51m |
Presentation reports running Erlang natively on GRiSP hardware boards with modifications to the Erlang VM to support bare-metal drivers for an IEEE 802.15.4… | ||
| Lightning Talks | 31m | |
http://www.lambdadays.org/lambdadays2017 | ||
| nothing matches | ||