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@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@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe