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"
type.
But "unlifted" kind does not include "unboxed, unlifted" types.
[1]: https://ghc.haskell.org/trac/ghc/wiki/UnliftedDataTypes
[2]:
http://takenobu-hs.github.io/downloads/haskell_lazy_evaluation.pdf#page=190
(sorry, large)
I wish you a happy new year.
Regards,
Takenobu
2015-09-04 17:03 GMT+09:00 Edward Z. Yang
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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs