「関数型プログラミング言語「Agda」の研修コースを産総研が開催」記事へのコメント

釣り！？

[kikumaru (38177)]

> バグのないプログラム開発に興味のあるみなさんも参加してみてはいかがでしょうか

本当に「バグのないプログラム開発」なんて絵空事が実現できるなら参加してみたいかもｗ
だって、仕様書にバグがあった場合とか、仕様書を読む人間の理解度不足による実装ミス(バグ)
はどんな言語を使っても回避不可能でしょ。＜多くのバグの発生箇所ってここでしょw
基本的にプログラムは書いた通りにしか動かないわけだし。
また、勝手にコンパイラやリンカに書き換えられても迷惑だしなｗ　
＜最適化とかでも酷い目にあうのにｗ

それは仕様です。

[Anonymous Coward]

仕様を記述するための言語ですから、期待した動作をしなかったとしても、それはバグではありません。仕様です。

つまり、「バグのないプログラム開発｣が可能だということです。