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

[Takenobu Tani]

Hi Imants and cafe,

> Is knowledge of these terms necessary to program or are these terms of
> most interest to compiler developers?


Ah, I think not necessary, but useful for abstraction and optimization of
program :)


I share something about Kind, here :

[1] Learn You a Haskell for Great Good!, Kinds and some type-foo

http://learnyouahaskell.com/making-our-own-types-and-typeclasses#kinds-and-some-type-foo

[2] Haskell 2010 Language Report, 4.1.1 Kinds
    https://www.haskell.org/definition/haskell2010.pdf

[3]
http://takenobu-hs.github.io/downloads/type_introduction_illustrated.pdf#page=69

Regards,
Takenobu


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

> Thank you Takenobu
>
> the links are useful, yes.
>
> Is knowledge of these terms necessary to program or are these terms of
> most interest to compiler developers?
> _______________________________________________
> 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/dc2cffd2/attachment.html>