[Haskell-cafe] Language complexity & beginners (Was: New type of ($) operator in GHC 8.0 is problematic)
Alexey Vagarenko
vagarenko at gmail.com
Sat Feb 6 16:33:01 UTC 2016
>
> 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#Classifyingtypes
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... at haskell.org <javascript:>
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160206/9c85eed4/attachment-0001.html>
More information about the Haskell-Cafe
mailing list