> ここで議論してた完全は
> 「プログラムに全て型付けできる」
> だったのね。そんなわけないじゃん。

え…
つまり (1 2 3)も正しく型付けしてほしかったとか
そんなヴァカな話だったのか…
違うよね？ >>350