Fluent APIs in Functional Languages

on YouTube ↗20m

" summary

Claims a way to get fluent APIs in functional languages without name overloading by using parametric polymorphism and Hindley-Milner type inference and a Church-encoding trick. Implements an SML library that embeds HTML and enforces structure and equal-column rows at compile time (so the code compiles iff the embedded document obeys the DSL grammar), covers regular and deterministic context-free protocols and beyond, and ships reusable artifacts and paper.

AI-written summary · about

" chapters (9)

1. 0:00Introduction
2. 1:44Authors background
3. 3:30Core contribution
4. 8:40Embedding HTML in SML
5. 11:32LINQ in C comparison
6. 13:49F# query expressions
7. 15:57Fluent APIs type challenges
8. 18:10Type overloading and Church encoding
9. 19:37Summary

" related talks

• 14mFluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent TypesShadaj Laddad, Koushik Sen · GPCE 2020
• 44mFunctional Interpreters and YouMark Mynsted · Scala Days New York 2018
• 31mEmbedding Functional Logic Programming in Haskell via a Compiler PluginKai-Oliver Prott, Finn Teegen, Jan Christiansen · PADL 2023
• 21mPolymorphic Type Inference for Dynamic LanguagesKim Nguyen, Giuseppe Castagna, Mickaël Laurent · POPL 2024
• 42mFunctional interpreters and youDave Gurnell · Scala Days Berlin 2018
• 01h 02mPolyglot Programming through Foreign Function InterfacesShigeru Chiba · VMIL 2023
• 20mPredictable macros for hindley milnerDavid Thrane Christiansen, Langston Barrett, Samuel Gélineau · TyDe 2020
• 41mAn Introduction to Functional Imperative Programming in FlixMagnus Madsen · GOTO Aarhus 2023