<div dir="ltr"><div><div>Hi Imants and cafe,</div><div><br></div><div>> Is knowledge of these terms necessary to program or are these terms of</div><div>> most interest to compiler developers?</div><div><br></div><div><br></div><div>Ah, I think not necessary, but useful for abstraction and optimization of program :)</div><div><br></div><div><br></div><div>I share something about Kind, here :</div><div><br></div><div>[1] Learn You a Haskell for Great Good!, Kinds and some type-foo</div><div>    <a href="http://learnyouahaskell.com/making-our-own-types-and-typeclasses#kinds-and-some-type-foo">http://learnyouahaskell.com/making-our-own-types-and-typeclasses#kinds-and-some-type-foo</a></div><div><br></div><div>[2] Haskell 2010 Language Report, 4.1.1 Kinds</div><div>    <a href="https://www.haskell.org/definition/haskell2010.pdf">https://www.haskell.org/definition/haskell2010.pdf</a></div><div><br></div><div>[3] <a href="http://takenobu-hs.github.io/downloads/type_introduction_illustrated.pdf#page=69">http://takenobu-hs.github.io/downloads/type_introduction_illustrated.pdf#page=69</a></div><div><br></div><div>Regards,</div><div>Takenobu</div><table cellpadding="0" class="" style="font-size:14px"><tbody><tr class=""><td class="" style="width:530px"><br></td></tr></tbody></table></div></div><div class="gmail_extra"><br><div class="gmail_quote">2016-02-06 22:15 GMT+09:00 Imants Cekusins <span dir="ltr"><<a href="mailto:imantc@gmail.com" target="_blank">imantc@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Thank you Takenobu<br>
<br>
the links are useful, yes.<br>
<br>
Is knowledge of these terms necessary to program or are these terms of<br>
most interest to compiler developers?<br>
<div class="HOEnZb"><div class="h5">_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div>