11K subscribers • 65 videos on Hallway
Advanced. Deep dive for people who know the field.
6.1K views5 years ago2 recommendations
Programming languagesComputer scienceFunctional programmingLanguage design and type systemsCompilers and interpreters
Daan Leijen introduces algebraic effect handlers and Functional But In-Place algorithms using the Koka programming language.
- Introduction. - Part 1: Koka: Demo, Performance, Status, Syntax, and Effect Typing. - Part 2: Introduction to Algebraic Effect Handlers. - Part 3: Theory of Effect Handlers and Efficient Compilation using Evidence Passing. - Part 4: FBIP: Functional But In-Place algorithms and Perceus Reference Counting. - Part 5: Theory of Perceus Reference Counting using the Linear Resource Calculus. - Part 6: Advance Effect Handlers: Masking, Overriding, and Local State. Link: icfp21.sigplan.org/details/icfp-2021-tutorials/5/Programming…What people say. Recommended as an excellent, deep-dive tutorial on algebraic effect handlers and efficient compilation techniques.
u/Sunscratchin r/rust • Recommends
On “Extending Rust's effect system - Yoshua Wuyts”