普通完全っていうと論理でつかう完全性の
「正しいものは全て証明できる。」
で使う気がするけど、
ここで議論してた完全は
「プログラムに全て型付けできる」
だったのね。そんなわけないじゃん。
369がやってんのはdynamic typingでschemeとかperlで使われてる型システムだな。
実行時にマッチングするから、それが動的型チェックに対応して遅くなる。