こんにちは，sititou70です．私は社会人2年目のよわよわWebフロントエンドエンジニアであり，「数学」とか「証明」とは無縁の人生を送っています． そんな私ですが，がんばって型システム入門（通称：TAPL）という本を読み終えました．全32章，503ページ，牛乳パック1本分の重さがあり， 自立します． 自立する本は大抵やばいです． TAPLの序文を見ると，想定読者は プログラミング言語と型理論を専門とする大学院生および研究者 プログラミング言語の鍵となる概念に触れたい，計算機科学の全分野の大学院生および習熟度の高い学部生1 となっています．本記事では 「そんな本を，学生や専門家でない人間（私）が読んだらどうなるのか」 について書きます．専門的な用語は避けますので，TAPLの雰囲気だけでも感じ取ってもらえたら嬉しいです． どうなったのか 宇宙語が読めるようになった 「型安全」を説明できるよ

const animal: Animal = { animal: "string", }; const dog: Dog = { animal: "string", dog: "string", }; いま，Dog <: Animalです． <:という記号は2つの型のあいだに書いて，「左の型が右の型のサブタイプである」と読みます． TypeScriptの型システムは構造的なので，2つのオブジェクトがサブタイプ関係にあるには，それらに共通するプロパティについてもまた，サブタイプ関係が必要1です． 今回の例では，DogとAnimalに共通するanimalプロパティについてstring <: stringなのでOKです． TSでは，S <: TならばT型の変数にS型の値を代入できます． つまり，Dog <: Animalなので Animal型の変数にDog型の値を代入できます．

Webページはどうやって表示されるのでしょうか． 「ブラウザでアドレスバーにURLを入力してEnter押してからページが表示されるまでに何が起きているか説明してください」面接で使っていた質問が面白いと話題に 上記の質問には様々なレイヤーでの回答があると思うのですが，私はネットワークの動作に興味を持ちました．というのも，TCP，IP，ARP，Ethernetといったキーワードが関連しているのは教科書や講義で聞いた気がするのですが，それ以上のことはうまく説明できなかったからです． これらのプロトコルは，普段はカーネル内部に隠れていてあまり意識できません． しかし，以下の資料を参考にプロトコルスタックを写経すれば，少しは身近に感じられるかもしれないと思いました． 3月に開催したプロトコルスタック自作キャンプの講義資料を公開しました。1週間でTCP/IPのプロトコルスタックを自作してUDPやTCP