[Haskell-cafe] New type of ($) operator in GHC 8.0 is problematic
marcin.jan.mrotek at gmail.com
Fri Feb 5 20:54:14 UTC 2016
> How do you explain `forall (r :: RuntimeRep) (a :: *) (b :: TYPE r).`
> using simple english?
"for all 'a's that are lifted types and 'b's that are types of any runtime
I don't really want to argue what is "simple english". I'd agree that
Haskell's syntax is becoming more and more inadequate for expressing ideas
that are being introduced to the language, though.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe