グループの説明
「型システムのきほんのきに、「型システム入門」(TAPL)やTypeScript型推論アルゴリズム(checker.ts)をみんなで読み進めることで、入門してみませんか！？」
要するに、TAPLの輪読会です！適宜checker.tsも読みます！
間違いを恐れず、お互いの理解するスピードを尊重しながら、自由な議論を楽しむマインドセットでやっていきます👶
過去回の様子→https://youtube.com/playlist?list=PLgX1fIhXRbTYOPpsjEeXRdIRtEikh5895
こんなことがしたい人にオススメ！でも細かいこと言わず、興味があるならどんな人にも来てほしいです！
- 型そのものやその周辺の概念(e.g. 型安全、型付け)について理解を深める
- 初歩的な型推論アルゴリズムの実装について理解を深める
- 型システムに関する論文や実装コードの読解に、ある程度取り組めるようになる
discordコミュニティサーバーもあります！！
終了したイベント 全てのイベントを見る（55件）
終了 2024/07/24（水） 19:00〜
canalun
他
〒106-0032 Tokyo, Minato City, Roppongi, 3 Chome−17−10 DUPLEX TOWER 2F
