HTTP through Functional Programming

on YouTube ↗28m

" summary

Argument: functional techniques make HTTP behavior tractable by turning RFC prose into precise models. Evidence: an F# stack Freya encodes HTTP/1.1 as types and lenses so handlers produce only wellformed values; Haskell’s type-safe combinators and Servant give compile‑time API shapes; Erlang Webmachine models request handling as a state machine. Result: fewer ad hoc controllers, more provable responses, some projects succeed and others (actor RDF proofs) stall.

AI-written summary · about

" chapters (8)

1. 0:00Start
2. 9:57HTTP
3. 13:55WHERE ARE WE HEADING!
4. 16:09COMPOSITION AS STANDARD
5. 17:20TYPE SAFE VALUES
6. 20:25TYPE SAFE COMBINATORS
7. 21:24FUNCTIONAL MODELLING
8. 25:01DEPENDENT TYPES

" related talks

• 26mFunctional Programming for APIsRoman Nevolin · apidays Barcelona 2019
• 55m“Using Functional Programming Patterns..."Quentin Duval, Jeremy Demeule · CppCon 2017
• 32mExtending your HTTP library with monad transformersRoss Baker · Typelevel Summit Philadelphia 2019
• 14mFundamentalist Functional ProgrammingErik Meijer · OSCON 2009
• 58mKeynote: Why Functional Programming MattersJohn Hughes, Mary Sheeran · Code Mesh 2015
• 01h 00mFunctional-first programming with F#Tomas Petricek · NDC Porto 2019
• 44mFunctional Programming You Already KnowKevlin Henney · Codemotion Rome 2015
• 01h 06mThe Joy of Functional ProgrammingVenkat Subramaniam · Functional Conf 2014