こんにちは,sititou70です.私は社会人2年目のよわよわWebフロントエンドエンジニアであり,「数学」とか「証明」とは無縁の人生を送っています. そんな私ですが,がんばって型システム入門(通称:TAPL)という本を読み終えました.全32章,503ページ,牛乳パック1本分の重さがあり, 自立します. 自立する本は大抵やばいです. TAPLの序文を見ると,想定読者は プログラミング言語と型理論を専門とする大学院生および研究者 プログラミング言語の鍵となる概念に触れたい,計算機科学の全分野の大学院生および習熟度の高い学部生1 となっています.本記事では 「そんな本を,学生や専門家でない人間(私)が読んだらどうなるのか」 について書きます.専門的な用語は避けますので,TAPLの雰囲気だけでも感じ取ってもらえたら嬉しいです. どうなったのか 宇宙語が読めるようになった 「型安全」を説明できるよ
![よわよわエンジニアがTAPL(型システム入門)を読んだら](https://cdn-ak-scissors.b.st-hatena.com/image/square/526395fdc969cfb259864dc7f7dd32246e8dc8a8/height=288;version=1;width=512/https%3A%2F%2Fsititou70.github.io%2Fstatic%2F3cb0c6d5ac5a7d8dc4fac93e35f9043e%2F3b411%2Ftop.jpg)