Unlifted data types

Edward Z. Yang ezyang at mit.edu
Fri Sep 4 15:45:37 UTC 2015

Excerpts from Edward Z. Yang's message of 2015-09-04 08:43:48 -0700:
> Yes.  Actually, you have a good point that we'd like to have functions
> 'force :: Int -> !Int' and 'suspend :: !Int -> Int'. Unfortunately, we
> can't generate 'Coercible' instances for these types unless Coercible becomes
> polykinded.  Perhaps we can make a new type class, or just magic
> polymorphic functions.

Michael Greenberg points out on Twitter that suspend must be a special
form, just like lambda abstraction.


More information about the ghc-devs mailing list