3 ms·
The Haskell type system is WAY more simple than the type soup TS allows you to make. I'd gladly take Hindley-Milner typing and typeclasses (or better yet, modu
by hajile 4y ago
The Haskell type system is WAY more simple than the type soup TS allows you to make.
I'd gladly take Hindley-Milner typing and typeclasses (or better yet, module typeclasses) over the current TS situation.
- pjmlp 4y agoI suggest a digression by GHC extensions.