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-s... [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#pag... 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