10. Cコンパイラをスクラッチから作成、東大CPU実験、型とプログラミング (うどん) - a podcast by Rui Ueyama

from 2018-03-17T08:00

:: ::

OSの移植に使えるレベルのCコンパイラを自作CPU向けにスクラッチから書いた話について話を伺いました。

出演者: うどん (@kw_udon_)、Rui Ueyama (@rui314)


https://turingcomplete.fm/10


ハッシュタグは#tcfmです。


TCFMはサポーターの投げ銭によって収益を上げています。このコンテンツに課金してもいいよという方はぜひクリエイター支援サイトPatreonから登録してご協力ください。



  • イントロ (0:00)

  • プログラミングは大学生から (2:44)

  • プログラミングと理論の楽しさ (3:50)

  • プログラミングの多様性と巨大ピタゴラ装置的プログラミング (13:45)

  • CPU実験のFPU係 (16:36)

  • Cコンパイラのパーザを土日に黙って作ってきてxv6移植チームに混ぜてもらう (26:52)

  • Cの文法の問題点 (31:05)

  • パーザを成長させてCコンパイラを作る (34:22)

  • Udon C Compiler (40:49)

  • typedefは特に文法的に曲者 (43:01)

  • xv6のユーザランドもuccですべてコンパイル (47:45)

  • OCamlでなければ実験期間内にCコンパイラはたぶん完成しなかった (50:18)

  • Erlangの言語のパターンマッチの問題点 (53:23)

  • xv6をコンパイルする前にPicrin Schemeを移植してテスト (56:20)

  • reallocのバグにハマる (58:00)

  • MinCamlで書かれているレイトレプログラムは大昔には元々BASICで書かれていた (1:03:38)

  • レイトレでレンダリングされるあの画像は映画のTRON (1:04:37)

  • 惑星Solaris (1:06:16)

  • 東大CPUはレイトレの速度だけで成績が決まるわけではない (1:09:14)

  • Fabrice Bellard伝説 (1:14:53)


Further episodes of Turing Complete FM

Further podcasts by Rui Ueyama

Website of Rui Ueyama