[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