4 ms·
What sorts of things can you do in the Haskell type system that you would not be able to do with the Go generics proposal?
by dakom 8y ago
What sorts of things can you do in the Haskell type system that you would not be able to do with the Go generics proposal?
- edflsafoiewq 8y agoHigher-kinded types? Monads, etc.
- dakom 8y agoCouldn't one define Monads, etc. with interfaces, once they allow generics? (there's nothing in Haskell which enforces the category laws in the typesystem, afaik)