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