3 ms·
Haskell is an ML variant, that basically extends ML with higher-kinded types, which are used -- among other things -- to constrain effects monadically.
by mafribe 9y ago
Haskell is an ML variant, that basically extends ML with higher-kinded types, which are used -- among other things -- to constrain effects monadically.