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

釣り！？

[kikumaru (38177)]

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

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

Re:

[Anonymous Coward]

どうしてこう万能でなければ役立たずだと思いたがるんでしょうかねえ

Re:

[kikumaru (38177)]

> どうしてこう万能でなければ役立たずだと思いたがるんでしょうかねえ

別に万能である必要は無いんだよ。
ただ、万能をうたっているモノに良いものなしなのが問題。＜人目を引きたいのは理解できるけどね。
「バグの無いプログラム環境」ってうたい文句なら、バグが発生した時点でダメダメな環境なわけでｗ
誇大広告甚だしいって思ってしまう。

こんなケース（開発）に向いているって言語なら、釣り！？なんていわない。
もしくは、簡単（ガワだけでも）に書けるってな話ならなんら不思議では無いしね。

Re:釣り！？

[Anonymous Coward]

んでもさ、あんた「バグのないプログラム」という表現にいつまでもこだわって拡大解釈してるじゃん。