Algebraic Effects from Scratch by Kit Langton

Kit Langton explains algebraic effects from first principles, demonstrating how to build a simple console DSL and introducing Kyo.

Kit Langton explores algebraic effects, emphasizing separating syntax from semantics. Kit demonstrates this through the Kyo library, discussing syntax and semantics using method examples. He showcases handling failures and non-determinism, refactors code for efficiency, and introduces concepts like "and-then," "flatMap," and "map." The goal is to create a simple console DSL with type inference and sequential composition, enabling building larger programs as a single syntax tree. Kit also discusses challenges like type inference issues and making effects extensible and composable, promoting the Kyo library's speed and modular design for better optimization and JVM compatibility. Video sponsor – Ada Beat adabeat.com Merch If you want to spread functional programming and support the channel, buy something from the shop: funcprogsweden.myspreadshop.net/ Chapters: 00:00 Welcome Kit Langton 00:38 Algebraic Effects from Scratch 01:38 Agenda 02:25 Define me 05:24 Define Algebraic Effects 06:27 Functional effect systems 08:07 Syntax + Semantics 09:27 Custom syntax + semantics 14:30 Kyo example time 23:55 A simple DSL (Implement it from scratch) 28:48 We can use GADTs 33:36 Will it compose? 36:26 Sequential composition 58:36 Recapitulation 59:19 Add additional operations 01:11:28 Before and after 01:12:09 More code, more problems 01:18:54 Q&A #funcprogsweden