[Haskell-cafe] New type of ($) operator in GHC 8.0 is problematic
ekmett at gmail.com
Wed Feb 10 18:02:53 UTC 2016
On Sun, Feb 7, 2016 at 10:39 AM, Tom Ellis <
tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk> wrote:
> If we were inventing a language from the beginning, would it be strictly
> necessary to have two kinds?
> Could we have just an unboxed kind #, and have
> a box be an explicit type constructor?
> Does this thing seem remotely plausible to people who know clever type
> Idris tries to do this with their Lazy type -- to somewhat mixed success,
so yes, it is a thing that can be done in a language designed from scratch.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe