ミントフレーバー緑茶

こんにちは。VOYAGE GROUP エンジニア blog Advent Calendar 最終日分の記事です。 TAPL（Types and Programming Languages, 型システム入門）を一緒に読もうよという内容になります。 アドベントカレンダー最終日、クリスマス・イブだからおもしろネタ記事かと思った？残念！型システムでした！ クリスマスだからって浮か…