Windymelt https://blog.hatena.ne.jp/Windymelt/ Lambdaカクテル https://blog.3qe.us/ 技術 scala fp hkt 高カインド型(Higher-Kinded Types; HKT)とその表記について勉強したのでメモ。高階関数を知っているレベルからHKTをどう表記するかまでメモする。プログラミング言語として主にScalaを用いているが、Scalaでしか分からない概念は極力排している。知ってる部分は飛ばしてよい。理解が間違っている箇所があったらブコメなどで教えてください。 追記: Higher-Kinded Typesという用語はちょっと奇妙な響きがありつつも使われていて、Kindという用語は型理論としてのちゃんとした用語とのこと。 まず用語がアレ、という話https://t.co/UkxfCy9OFq自信ない… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.3qe.us%2Fentry%2F2023%2F10%2F09%2F211915" title="関数型言語で登場する高カインド型(Higher-Kinded Types; HKT) と(* -&gt; *) -&gt; *みたいなやつの早わかりメモ - Lambdaカクテル" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/W/Windymelt/20231009/20231009205502.png Hatena Blog https://hatena.blog 2023-10-09 21:19:15 rich https://blog.3qe.us/entry/2023/10/09/211915 1.0 100%