Effects: To Be or Not to Be - Exploring Effect Systems in Scala and Beyond - Lecture 1

Explore the controversial world of effect systems in this conference talk from GeeCON 2023. Delve into the debate surrounding static typing and its limits, examining how far the type system should be pushed and what information it should encompass. Investigate the role of effect systems in programming, their variations, and the trade-offs they present. Learn why effect systems are necessary and how they differ across various platforms. Gain insights into the design space of effect systems, with a focus on Scala, the JVM, and other programming environments. Engage with thought-provoking questions about the properties that types should prove and the challenges of navigating this complex landscape.