[Haskell-cafe] New type of ($) operator in GHC 8.0 is problematic

Takenobu Tani takenobu.hs at gmail.com
Sat Feb 6 12:59:01 UTC 2016


Hi,

The '*' means kind "lifted".
The '#' means kind "unlifted".

Futhermore,
"TYPE 'Lifted" is alias to '*'
"TYPE 'Unlifted" is alias to '#'


Are these also useful?

[1] https://wiki.haskell.org/Kind
[2] https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/TypeType
[3] https://ghc.haskell.org/trac/ghc/wiki/UnliftedDataTypes
[4]
https://takenobu-hs.github.io/downloads/haskell_lazy_evaluation.pdf#page=192

Regards,
Takenobu


2016-02-06 21:48 GMT+09:00 Imants Cekusins <imantc at gmail.com>:

> actually "#" worked on Hoogle:
>
> https://wiki.haskell.org/Keywords#.23
> _______________________________________________
> 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/20160206/2947d37f/attachment.html>


More information about the Haskell-Cafe mailing list