12年前の『型システム入門』翻訳の思い出話 (original) (raw)

Avatar for Yusuke Endoh

Transcript

  1. 12年前の 『型システム入門』 翻訳の思い出話 遠藤 侑介 2024/07/24 @カワるガワるTAPLカタるヨる

  2. 自己紹介：遠藤侑介 • プログラミング言語Rubyのフルタイム開発者 • STORESという会社で Rubyのための型解析器TypeProfを開発してます • 『型システム入門』（TAPL）の翻訳者のひとり • 今日は主にこっちの話

  3. Q. TAPL読んだ？ • 半分以上～全部読み終えた • お疲れさまでした • これから読みたい～読み始めたところ • おすすめの読み方をご紹介

  4. Q. なぜTAPLを読もうと思った？ • 型システムを基礎から学びたいから • OK、上からぜんぶ読んでください • TypeScriptの型システムを理解したいから • ちょっとたいへんかも

  5. TAPLの章構成 • 章の依存グラフ • 『序文』に載ってます

  6. 興味あればおすすめ • 29章『型演算子とカインド』 • 型レベルの関数の話 • 型レベルプログラミングや 型クラスにつながると思う （けど話者もあまり詳しくない）

  7. 今日の話 • TAPLのおすすめの読み方 • 翻訳思い出話