[Haskell-cafe] Confused about type seen in the wild
allbery.b at gmail.com
Thu Apr 10 17:45:32 UTC 2014
On Thu, Apr 10, 2014 at 1:43 PM, Felipe Lessa <felipe.lessa at gmail.com>wrote:
> Em 10-04-2014 13:27, Albert Y. C. Lai escreveu:
> > My understanding is that when the type checker has to support all those
> > generalizations like ConstraintKind, DataKinds, etc etc, it becomes so
> > general that some traditional distinctions vanish.
> What? Shouldn't that be a bug?
It "should be" but I suspect actually treating it as one is rather
difficult now that it's possible for `a` there to be a Constraint or etc.,
in which case it is on the correct side of the =>.
brandon s allbery kf8nh sine nomine associates
allbery.b at gmail.com ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe