<div dir="ltr"><div>Hi Imants and cafe,<br></div><div><br></div><div>Related informal illustrations (and references) are here:</div><div><br></div><div>Lifted/unlifted, boxed/unboxed types</div><div><a href="https://takenobu-hs.github.io/downloads/haskell_lazy_evaluation.pdf#page=182">https://takenobu-hs.github.io/downloads/haskell_lazy_evaluation.pdf#page=182</a></div><div><br></div><div>Bottom</div><div><a href="https://takenobu-hs.github.io/downloads/haskell_lazy_evaluation.pdf#page=164">https://takenobu-hs.github.io/downloads/haskell_lazy_evaluation.pdf#page=164</a></div><div><br></div><div>Regards,</div><div>Takenobu</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">2016-02-07 0:54 GMT+09:00 Imants Cekusins <span dir="ltr"><<a href="mailto:imantc@gmail.com" target="_blank">imantc@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">in addition to Takenobu's links, Real World Haskell explains unboxing<br>
and lifting on p.583<br>
<br>
just to clarify, for practical use, is it safe to say that "boxed" and<br>
"lifted" are synonyms? you see, term "boxed" is used in other<br>
languages. I assumed "lifting" related to monads. Hence the confusion.<br>
<div class="HOEnZb"><div class="h5">_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div>