『プログラミング言語における型』書籍紹介

インサイト出版社で、ある程度プログラミング経験のある人を主な対象に、型理論を概念的に扱う本を企画しているのですが、その初稿が公開されたそうです（初稿であることは編集者の方に伺って知りました）。

韓国語でプログラミング言語理論に関する本が出ること自体あまり多くありませんし、本全体が初稿とはいえ丸ごと公開されること自体も珍しいように思い、紹介することにしました。韓国語ではありませんが、同じ著者が共著した Introduction to Programming Languages という教科書もあります。

[alstjr7375]

一般的ではないですが、最近証明向け言語に導入されている型も面白いですね。

Idris 2: Quantitative Type
https://arxiv.org/abs/2104.00480

Cubical agda
https://dl.acm.org/doi/10.1145/3341691

[kleinstein]

実際の現場で働く人たちにとって、すぐに実務で役立つタイプの本というよりは、
確かにもう少し理論と原理にフォーカスしているようです。
こういう本も合間を見て読まないといけないですね.. しくしく

[dotoritos]

失礼ですが、チキンを1羽だけおごってください。