Replies to message #2,350

I don't know about type theory, but in conventional languages, you'd just make the function's return type something that represents either the...

Can't you cast away const correctness? Yes. If you're familiar with promises (like Javascript's promises), Haskell's shtick is that basically...

@Marvin since your post is too long Pedantically speaking this is not necessarily the case. A turing complete type system could express "the...