Hi Imants and cafe,

Related informal illustrations (and references) are here:

Lifted/unlifted, boxed/unboxed types
https://takenobu-hs.github.io/downloads/haskell_lazy_evaluation.pdf#page=182

Bottom
https://takenobu-hs.github.io/downloads/haskell_lazy_evaluation.pdf#page=164

Regards,
Takenobu


2016-02-07 0:54 GMT+09:00 Imants Cekusins <imantc@gmail.com>:
in addition to Takenobu's links, Real World Haskell explains unboxing
and lifting on p.583

just to clarify, for practical use, is it safe to say that "boxed" and
"lifted" are synonyms? you see, term "boxed" is used in other
languages. I assumed "lifting" related to monads. Hence the confusion.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe