📢イベント概要

今年の4月、「型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語（ラムダノート）」が出版されました。

この分野の本格的な入門書としては「型システム入門 プログラミング言語と型の理論（オーム社）」が定番とされていますが、前提として初等的な集合論の知識が必要だったり、普通のプログラマーにとってな難解な記号が駆使されていたりなどもあって、出版当時購入した方でも挫折した人が非常に多かったという印象です。

しかし、今回出版された書籍（以下「型システムのしくみ」で統一）については、私も最後のレビューにちょっとだけ関わった程度ですが、数学的な前提知識などがなくても、TypeScriptでコードを書ける人であれば十分読み解ける範囲のやさしさに抑えられていると感じました。

ともあれ、本を買ったはいいもののーという方も結構いらっしゃるのではないか、ということで、著者でないのですが、本書の輪読会を開催するに至りました。隔月開催くらいで、少しずつ本書を読み進めて、皆さんの型システム理解の手助けをできればと思っています。

あくまで非公式な輪読会ですが、著者の遠藤さんからは許諾をいただいています。また、第一回輪読会ではゲストとして遠藤さんにお越しいただき、書籍の執筆の経緯など5分程度お話いただく予定になっております。

参加資格

本書がTypeScriptで型システムを実装することで、型システムへの理解を深める本であるため

• TypeScriptで多少のコードが読める/書ける
  • 書籍のコードを読めるくらいで、業務コードの読み書きスキルは必要はありません
• 型システムについて理解を深めたいと思っている

方の参加を歓迎しています。また、輪読会のため、参加者の方には書籍の購入（紙/電子どちらでも）をお願いします。

日時

• 2025年7月04日（金）19:00-21:00

タイムテーブル

• 19:00：開始（Google Meet）
• 19:00-19:05: オープニング
• 19:05-19:10: 遠藤さんより書籍についてのコメント
• 19:10-19:40: 輪読会
• 19:40-20:00: 質疑、次回日程決め
• 20:00-21:00: 懇親会（希望者のみ）

形式

オンライン(Google Meet）で実施します。時間10分前に開場いたしますので「参加者への情報」欄にあるGoogle Meetのリンクからお入りください。

初回は水島が書籍のはじめから読み進めていく形になる予定です。初回なので最初の20ページ程度になる見込みです。輪読会なので、継続開催していくにあたって、参加者の方にそれぞれ当番回をおねがいすることになるかもしれません。

懇親会について

MetaLifeによるオンライン懇親会を21:00から1時間にわたって開催する予定です。