<div dir="ltr"><div>Hi devs,</div><div><br></div><div>Apologies if I'm missing context.</div><div><br></div><div>Is it more better that "Unlifted" kind is other name, such as "BoxedUnlifted", "Bul", "%",... ?</div><div><br></div><div><br></div><div>I'm studying Unlifted data types [1].</div><div>It's good proposals to optimize code by users.</div><div><br></div><div>But I worry that newcomers may be confusing about its kind name.</div><div>In my understanding [2], "unlifted" types may include "unboxed, unlifted" type.</div><div>But "unlifted" kind does not include "unboxed, unlifted" types.</div><div><br></div><div><br></div><div>[1]: <a href="https://ghc.haskell.org/trac/ghc/wiki/UnliftedDataTypes">https://ghc.haskell.org/trac/ghc/wiki/UnliftedDataTypes</a></div><div>[2]: <a href="http://takenobu-hs.github.io/downloads/haskell_lazy_evaluation.pdf#page=190">http://takenobu-hs.github.io/downloads/haskell_lazy_evaluation.pdf#page=190</a>  (sorry, large)</div><div><br></div><div>I wish you a happy new year.</div><div>Regards,</div><div>Takenobu</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">2015-09-04 17:03 GMT+09:00 Edward Z. Yang <span dir="ltr"><<a href="mailto:ezyang@mit.edu" target="_blank">ezyang@mit.edu</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello friends,<br>
<br>
After many discussions and beers at ICFP, I've written up my current<br>
best understanding of the unlifted data types proposal:<br>
<br>
    <a href="https://ghc.haskell.org/trac/ghc/wiki/UnliftedDataTypes" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/ghc/wiki/UnliftedDataTypes</a><br>
<br>
Many thanks to Richard, Iavor, Ryan, Simon, Duncan, George, Paul,<br>
Edward Kmett, and any others who I may have forgotten for crystallizing<br>
this proposal.<br>
<br>
Cheers,<br>
Edward<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div><br></div>