GeeCON 2023: Adam Warski - Efekty: być albo nie być?

Static typing is barely controversial, but how far should we push the kind system? What information should the types include, and what properties should they prove? That’s where effect systems come in, but unlike the general approach, their answers to the questions above are hot debate topics! Navigating the plan space isn’t easy. Before we make up our minds, more questions request answering first: why do we request an effect strategy at all? How do effect systems differ? What are their tradeoffs? Let’s research the options in Scala, the JVM, and beyond.