E_Mattsan https://blog.hatena.ne.jp/E_Mattsan/ エンジニアのソフトウェア的愛情 https://blog.emattsan.org/ 新しいパラダイムの理解を開拓すべく、Koka に手を出しています。 koka-lang.github.io Koka の本丸は、その名（Koka = "効果"）が示す通り Effect system なのですが、基本の構文をいじるだけで、そこまでたどり着けない始末。 en.wikipedia.org 一方で、これまでの知識が手掛かり足掛かりとなって、少ない情報であっても前に進むことができます。 例えば、struct 、いわゆる構造体が Koka にもあります。 struct person age : int name : string これは糖衣構文で実態は次のコードと同じです。 type p… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.emattsan.org%2Fentry%2F2026%2F04%2F30%2F220000" title="Koka を手探りする - エンジニアのソフトウェア的愛情" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2026-04-30 22:00:00 rich https://blog.emattsan.org/entry/2026/04/30/220000 1.0 100%