型システム入門を読んでいます（第０回）

どうしてまたそんな・・・

• ～よくわからない方向け～
  これです↓
  

  型システム入門 −プログラミング言語と型の理論−

• ～あらすじ～
  Kotlinを書いているぼく「なんか型推論微妙だなあ」
  その発言を感知した知人「F#と比べるのはさすがに・・・」
  型の技術とかよくわかってないぼく「エッそういうもんなの？どういうのが違うの？」
  自称つよくないつよいプログラマの知人「型システム入門を読み切ったらまた会おう・・・」
  無知無知ボディ（？）のぼく「なにそれは」
  言うより手を動かす知人「スッ（amazonリンク）」
  手がすべりやすいぼく「手がすべった！！！！！（購入）」

---

・・・というわけで、完全に超難易度の書籍なんですけど、買ってしまったからには読む所存です。
計画（？）としては、普段の開発をしつつぼちぼち読み、
週イチくらいで読書記録を記事にしていけたらなあという気持ちです。

昨日の夜買って寝る前に1時間くらいページをめくった訳ですが、
なんかしんどい所を多少読み飛ばしたにも関わらず、Kindleが指しているのは20ページ目でした。ワハハ。
（ページカウント前の序文とかもあったはあったわけですが）

まあそんな感じです。
難度はこれから上がっていく一方です。確実に寄り道して予習が必要だと思います。どうなる次回。

• メモ：
  数学初心者のための「型システム入門」入門 - 廻る技術の覗き穴

ではまた！