Dependent and Refinement Types: Why?
Xebia
MARCH 8, 2023
Haskell actually forces this separation; the type of an operation like reading a line is tagged with IO : readLine :: IO String In other functional languages, like Scala or Kotlin, this separation is not enforced by the compiler. Let me share with you a third example of what we can achieve with a simple “type tag.”
Let's personalize your content