Turing Complete FM
Turing Complete FMは
Rui Ueyama
によるプログラミングについてのポッドキャストです。
11. C++ contexprによるコンパイル時Cコンパイラ、テンプレートとジェネリクス、コンピュータサイエンスの理論と実践
ゲスト: うどん (
@kw_udon_
)
うどんくんがELVMを使ってCコンパイラをC++14 constexprに移植した件や、テンプレートとジェネリクス、プログラミングの型の理論などについて話をしました。
速度 x
1.0
(
遅く
/
速く
)
-15秒
/
-5秒
/
+5秒
/
+15秒
イントロ (
0:00
)
数学ガールの結城先生から返事がいただけた件 (
0:16
)
ELVMとは何か (
4:26
)
C++テンプレート省メモリメタプログラミング (
7:49
)
テンプレートの使い所とJavaのジェネリクス (
12:42
)
Goにはジェネリクスもテンプレートもない (
13:44
)
C++11とC++14のconstexpr (
17:19
)
C++17の多重代入構文 (
22:25
)
Accidentally Turing-Complete (
24:11
)
Javaのジェネリクスはチューリング完全 (
24:58
)
Javaの型システムはunsound (
25:54
)
Featherweight Java (
35:15
)
C++コンパイル時コンパイラに対する大きな反響 (
37:35
)
ELVMのバックエンドが書きやすい言語と書きにくい言語 (
38:50
)
難解言語として作られたMelborne (
42:58
)
Rubyのfizzbuzzコードゴルフと数学 (
47:38
)
SATySFiはどうなんですか (
50:44
)
理論的にもよく実際にメリットがある言語 (
54:55
)
静的型と動的型 (
55:48
)
lldのメモリを解放しないデザイン (
1:00:45
)
FacebookとOCaml (
1:02:48
)
結城さんの数学ガール
結城先生、うどんくんにコメントしてくれる
ヒルベルトの23の問題
テンプレートメタプログラミング
純粋関数型データ構造
Accidentally Turing-Complete
Why does Go not have generic types?
Java Generics are Turing Complete
Java and scala's type systems are unsound
Church encoding
Brainfuck
Malbolge
Fizzbuzz問題
静的型付け関数型組版言語SATySFi