Unlifted data types

Takenobu Tani takenobu.hs at gmail.com
Tue Dec 29 09:54:08 UTC 2015

Hi devs,

Apologies if I'm missing context.

Is it more better that "Unlifted" kind is other name, such as
"BoxedUnlifted", "Bul", "%",... ?

I'm studying Unlifted data types [1].
It's good proposals to optimize code by users.

But I worry that newcomers may be confusing about its kind name.
In my understanding [2], "unlifted" types may include "unboxed, unlifted"
But "unlifted" kind does not include "unboxed, unlifted" types.

[1]: https://ghc.haskell.org/trac/ghc/wiki/UnliftedDataTypes
 (sorry, large)

I wish you a happy new year.

2015-09-04 17:03 GMT+09:00 Edward Z. Yang <ezyang at mit.edu>:

> Hello friends,
> After many discussions and beers at ICFP, I've written up my current
> best understanding of the unlifted data types proposal:
>     https://ghc.haskell.org/trac/ghc/wiki/UnliftedDataTypes
> Many thanks to Richard, Iavor, Ryan, Simon, Duncan, George, Paul,
> Edward Kmett, and any others who I may have forgotten for crystallizing
> this proposal.
> Cheers,
> Edward
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20151229/2d5bdf67/attachment.html>

More information about the ghc-devs mailing list