The Death of Monads? Direct Style Algebraic Effects Published 2024-04-15 Download video MP4 360p Download video MP4 720p Recommendations 15:12 The Absolute Best Intro to Monads For Software Engineers 12:11 Testcontainers have forever changed the way I write tests 20:08 The Birth of SQL & the Relational Database 44:57 Will Ada Replace C/C++? 02:07 OCaml in 90 Seconds 21:54 The Hydra Game - Numberphile 1:09:15 X86 Needs To Die 35:11 Is the Future of Linear Algebra.. Random? 10:25 The purest coding style, where bugs are near impossible 17:56 5 Rules For DTOs 20:14 How to unify logic & arithmetic 32:00 Solid Programming - No Thanks 16:31 How Fast can Python Parse 1 Billion Rows of Data? 09:39 Ambiguity With Partial ∂ Notation, and How to Resolve It 13:15 Why Protons Can't Travel Faster Than This Speed 22:19 When Optimisations Work, But for the Wrong Reasons 11:35 Function Iterators might just change the way we write loops in Go 23:35 Blazingly Fast Greedy Mesher - Voxel Engine Optimizations 19:18 The Bubble Sort Curve 13:54 The shocking connection between complex numbers and geometry. Similar videos 43:57 Maciej Piróg - Effect Handlers: A New Approach to Computational Effects - Lambda Days 2020 1:20:44 The Death of Tagless Final by John A. De Goes 1:14:38 Effective Programming: Adding an Effect System to OCaml 44:31 Effects: To Be Or Not To Be? By Adam Warski 1:17:07 Alexis King - “Effects for Less” @ ZuriHac 2020 15:11 Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism (OOPSLA'20) 38:01 Emily Pillmore – Hulk SMASH: re-imagining the Maybe-monad and its design space 42:04 The Free and the Furious: And by 'Furious', I mean Codensity - Raichoo 18:15 Higher-Order Programming with Effects -- without First-Class Functions 1:06:59 Gabriella Gonzalez on "Monad transformers are good, actually" @ZuriHac2023 54:28 Izaak Meckler - Snarky: Algebraic effects in the Coda cryptocurrency - λC 2018 30:34 Radu Mardare. Quantitative Algebras and the perspective of a Metrized Theory of Algebraic Effects. 37:41 A roadtrip with monads: from MTL, through tagless, to BIO - Paweł Szulc 50:39 HOPE 2014: Graphical Algebraic Foundations for Monad Stacks - Ohad Kammar 39:19 Lambda World 2018 - A roadtrip with monads: from MTL, through tagless to BIO - Paweł Szulc 59:03 What Can Scala Learn from Rust? by John A. De Goes 1:18:59 What could be done as believed to be impossible in F# by Oskar Gewalli 46:58 Plain Functional Programming by Martin Odersky 49:38 Unlocking the magic of monads in Java 8 More results