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.
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.
Powiązane
Mandelbrotowska natura modularyzacji
3 dni temu
GeeCON 2023: Paweł Marks - The origin of the feature
1 tydzień temu
Sprawdź, jak dobrze znasz TE technologie w Java 👀
1 tydzień temu
Masa darmowych materiałów z Java developmentu! 💪
2 tygodni temu
