4 Sep
2015
4 Sep
'15
3:45 p.m.
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. Edward