全ての型を、書かれる前に推論したい。全てのコード、過去と未来の全ての型を、型推論器で。今日まで型と戦ってきたみんなを、型検査を信じたプログラマを、私は泣かせたくない。それを邪魔する型システムなんて、壊してみせる、変えてみせる。これが私の祈り、私の願い。さあ叶えてよ！誰か！ @gengar68
全ての型を、書かれる前に推論したい。全てのコード、過去と未来の全ての型を、型推論器で。今日まで型と戦ってきたみんなを、型検査を信じたプログラマを、私は泣かせたくない。それを邪魔する型システムなんて、壊してみせる、変えてみせる。これが私の祈り、私の願い。さあ叶えてよ！誰か！
@gengar68
そんな祈りが叶うとすれば、それは決定不能なんてレベルじゃない。計算理論そのものに対する反逆だ @fetburner
そんな祈りが叶うとすれば、それは決定不能なんてレベルじゃない。計算理論そのものに対する反逆だ
@fetburner
(2016/01/24)