[Haskell-cafe] Language complexity & beginners (Was: New type of ($) operator in GHC 8.0 is problematic)

Takenobu Tani takenobu.hs at gmail.com
Mon Feb 8 10:14:05 UTC 2016


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 at 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 at haskell.org
> 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/20160208/6186a158/attachment.html>


More information about the Haskell-Cafe mailing list