3 ms·

I'm not sure that functions alone are sufficient. That's why Haskell supports existential types, and there isn't a convention for distinguishing them so the cri

I'm not sure that functions alone are sufficient. That's why Haskell supports existential types, and there isn't a convention for distinguishing them so the critique applies.

cultus 7y ago
Existential types are types of values.
cultus 7y ago
Existential types are types of values. There is no distinction.