Turing Complete FMはRui Ueyamaによるプログラミングについてのポッドキャストです。
11. C++ constexprによるコンパイル時Cコンパイラ、テンプレートとジェネリクス、コンピュータサイエンスの理論と実践
ゲスト: うどん (@kw_udon_)
うどんくんがELVMを使ってCコンパイラをC++14 constexprに移植した件や、テンプレートとジェネリクス、プログラミングの型の理論などについて話をしました。

速度 x1.0 (遅く / 速く) -15秒 / -5秒 / +5秒 / +15秒
この時点にリンク
0:00イントロ
0:16数学ガールの結城先生から返事がいただけた件
4:26ELVMとは何か
7:49C++テンプレート省メモリメタプログラミング
12:42テンプレートの使い所とJavaのジェネリクス
13:44Goにはジェネリクスもテンプレートもない
17:19C++11とC++14のconstexpr
22:25C++17の多重代入構文
24:11Accidentally Turing-Complete
24:58Javaのジェネリクスはチューリング完全
25:54Javaの型システムはunsound
35:15Featherweight Java
37:35C++コンパイル時コンパイラに対する大きな反響
38:50ELVMのバックエンドが書きやすい言語と書きにくい言語
42:58難解言語として作られたMelborne
47:38Rubyのfizzbuzzコードゴルフと数学
50:44SATySFiはどうなんですか
54:55理論的にもよく実際にメリットがある言語
55:48静的型と動的型
1:00:45lldのメモリを解放しないデザイン
1:02:48FacebookとOCaml