[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