BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:TAPL.ts #30: Reconstructing TS 3. ops&singleton
X-WR-CALNAME:TAPL.ts #30: Reconstructing TS 3. ops&singleton
X-WR-TIMEZONE:Asia/Tokyo
BEGIN:VTIMEZONE
TZID:Asia/Tokyo
BEGIN:STANDARD
DTSTART:19700101T000000
TZOFFSETFROM:+0900
TZOFFSETTO:+0900
TZNAME:JST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:937257@techplay.jp
SUMMARY:TAPL.ts #30: Reconstructing TS 3. ops&singleton
DTSTART;TZID=Asia/Tokyo:20240306T193000
DTEND;TZID=Asia/Tokyo:20240306T210000
DTSTAMP:20260504T142812Z
CREATED:20240228T140619Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/93725
 7?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\nざっくばら
 んに言うと……\n「型システムのきほんのきに、「型
 システム入門」(TAPL)やTypeScript型推論アルゴリズム(check
 er.ts)をみんなで読み進めることで、入門してみません
 か！？」\nということです。要するに、型の勉強会で
 す！適宜TAPLやTS関連の資料やTSのchecker.tsも読みます！\
 nこの誘いに心惹かれたカタは、ぜひ以下を読み進めて
 ください👶\n※どれだけ読み飛ばして頂いてもよいの
 ですが、「必要なもの」と「進め方」の2セクションは
 必読でお願いします！\n※ 「コンピューターサイエン
 ス専攻/情報系じゃなかったなあ」とかは気にしないで
 下さい！(私も全然違います🐤)\n参考\n\n型システム入
 門(TAPL): https://www.ohmsha.co.jp/book/9784274069116/ (第1章のサン
 プル有)\nTypeScript型推論アルゴリズム(checker.ts): https://gi
 thub.com/microsoft/TypeScript/blob/main/src/compiler/checker.ts\n\n目指
 すこと\n下記を目標として進めていきたいと考えてい
 ます🐢\n\n型そのものやその周辺の概念(e.g. 型安全、
 型付け)について理解を深める\n初歩的な型推論アルゴ
 リズムの実装について理解を深める\n型システムに関
 する論文や実装コードの読解に、ある程度取り組める
 ようになる\n\n具体的な内容\n1章: TAPLの読み進め(型推
 論まで) 👈 おわりました！！！いまは2章です！\nまず
 はTAPLを読み進めることを主軸において、TypeScriptの型
 推論アルゴリズムのコード(checker.ts)を適宜参照してい
 きます。\nTAPLについて、具体的には下記の章を順に読
 んでいければと思っています。\n\n3章: 型無し算術式 
 読み終わりました！\n5章: 型無しラムダ計算 読み終わ
 りました！\n8章: 型付き算術式 読み終わりました！\n9
 章: 単純型付きラムダ計算 読み終わりました！\n11章: 
 単純な拡張 読み終わりました！\n22章: 型再構築 読み
 終わりました！\n\nこれは、TAPL序文で述べられている
 活用例や章間依存関係を参考にしたロードマップです
 。この背後には、要するに「型やその周辺概念で優先
 度が高いものをおさえたら、基本的な型推論アルゴリ
 ズムまで最短ルートでいってみようよ！」という設計
 思想があります。\nこの設計思想が根本にあるので、
 このロードマップは会の状況に応じて増えたり減った
 りする可能性があります！しかし、その場合もTAPLとche
 cker.tsを参照するという基本コンセプトは変えないつも
 りです🐸\nまた、サクサク進むとは思っていないので
 、きっと半年くらいやるのだろうと思っています。\n2
 章: 双方向型チェックの理解 👈 いまこれ！！！！\nRec
 onstructing TypeScriptを読み進めます。\n\nPart0 ← 各自読ん
 できてね👶\nPart1 ← 各自読んできてね👶\nPart2 ← 今
 回はここからやる\nPart3\nPart4\nPart5\nPart6\n\n3章: mini-typesc
 riptの理解\n(予定) https://github.com/sandersn/mini-typescript\n必
 要なもの(必ず目を通して下さい！)\n読み進め枠・参加
 枠共通\n\n会の進行や議論の展開が思っていた以上にゆ
 っくりでも、のんびり気楽に参加できる精神的な余裕\
 nもちろん開始時間・終了時間は守ります！！予定して
 いた部分が終わらないから次回に持ち越し、といった
 ことが全然ありえるよということです\n\n\n\n読み進め
 枠\n\n間違いを恐れず、お互いの理解するスピードを尊
 重しながら、自由な議論を楽しむマインドセット\n\n参
 加枠\n\n自分のコメントが読み進め枠メンバーに拾って
 もらえなくても気にしない気楽さ\n\n進め方(必ず目を
 通して下さい！)\nすべて、現時点での構想なので状況
 に応じて変更をしていくと思います！！！\n形式\n\n読
 み進め枠と視聴枠を設け、下記のように役割を定めて
 みます📝\n読み進め枠: 題材のテクストを実際に読み
 進める。都度、自由に議論をする。視聴枠のメンバー
 が投稿するコメントは取り上げてもよいし、取り上げ
 なくてもよい\n視聴枠: 読み進め枠のメンバーの読み進
 めや議論を視聴する。視聴プラットフォーム上でコメ
 ントを書くことはできるが上述の通り、取り上げられ
 ないこともある\n\n\n読み進めは下記のように進めます
 📖\n読み進め枠のメンバーで文章を1~2文ずつ、まわし
 ながら読む。小学校の国語の授業でかわりばんこの音
 読をしたときのイメージ\n読み進め枠のメンバーは分
 からないことや議論したいことがあったら、その都度
 言って、議論を始められる\nその他、よしなにやる\n\n\
 n\n日時\n\n毎週または隔週の水曜日に、19時半から21時
 に開催します🎉\n\n場所\n\nリモート開催です！: URLは
 ページ上部の「参加者への情報」枠を参照\n
LOCATION:Discord
URL:https://techplay.jp/event/937257?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR