3 ms·
It's also pretty easy and useful to step out of the HM, inferable fragment using any number of popular language extensions. I'm not arguing that it's a problem,
by tel 13y ago
It's also pretty easy and useful to step out of the HM, inferable fragment using any number of popular language extensions. I'm not arguing that it's a problem, but it's disingenuous to suggest that anything resembling all code can be type-inferred.
- asdasf 13y agoI don't think so. We are talking about haskell after all, not haskell + experimental ghc extensions. And which popular extensions break type inference anyways?
- tel 13y agoRankNTypes are pretty popular in libraries and break total inference. You don't need to enable the extension personally to suffer it either.