is it safe to say that "boxed" and "lifted" are synonyms?
No. Lifted means may contain bottom. Boxed means represented by a pointer. `ByteArray#` is boxed but unlifted See https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/TypeType#Classifyi... On Saturday, February 6, 2016 at 8:54:50 PM UTC+5, Imants Cekusins wrote:
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 Haskel...@haskell.org javascript: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe