型について語る前に

型を語る(激寒)

近年(いつ?)，型が燃えがち

人は一般に任意のトピックについて，基礎的な知識を欠いているのにも関わらず，かなり強めな意見や主張を述べてしまうことがよくあります．

それだけならば普通によいことなのですが¹，とかくプログラミングの分野については語気が強めの(ように感じられる)反論が集まってしまいがち²で，双方ともにモヤモヤ・イライラして終わってしまうことが多いです．

で，プログラミングの中でもそのような自体がかなりの頻度で発生するのが「型」についてのトピックです．

普段から強い静的型付きの言語を好んで使い，一応型システムについて研究している身としては，この状況はあまり好ましくないものだと思っています．

「型」の基礎教養は無料で・日本語で・わかりやすくつけられる

しかし！

型は恵まれたトピックで³，日本語で書かれた高品質な教科書「型システム入門」の第一章が，なんと出版社のウェブサイトで，無料の PDF として公開されています．

「ダウンロード」から「第1章のサンプルダウンロード」をしてください．

• 型とはなんなのか
• 型のなにがうれしいのか
• プログラム言語の設計で型がどれほど重要な位置を占めるのか
• 型の大まかな歴史

がわかりやすく解説されています⁴．型システムに関する研究をするのでなければ，この一章を読むだけで必要な教養は十分つく，とわたしは思っています．

型を語る前に！燃える前に！マサカリが飛来してイライラする前に！

あなたと TAPL の一章
今すぐダウンロー
ド

---

1. その分野に詳しい人に直接教授してもらい，正しい知識を得られるかもしれないのですから． ↩

2. 直接コメントしてくる人の多くは特に怒っているわけではないのですが，淡々と反論をしてくるので，自分が否定されているように感じてしまいがちですね．Twitter とかにはイライラのお気持ち表明をしてる人がいるかもしれないので，見ないほうがいいです． ↩

3. なんとか指向プログラミングやモ○ドと違って ↩

4. ただし，かなり誤解されがちな「型推論」についての解説がほぼないのがつらいです．なんかいい感じのがあったら教えてください． ↩