計算機の出来ることは何でも出来る言語＝C、Lisp
だからハッカーたちのLanguage of choiceなわけだ

今の型理論ってアロンゾ・チャーチの型付きラムダ計算から来るもんだと思うけど
Lispはその弟子が1960頃に作ったものだよ
Lispは言語仕様を変えることなく並列プログラミングすることも、型推論を付け加えることも出来る