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

釣り！？

[kikumaru (38177)]

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

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

Re:

[T.SKG (20663)]

＞ バグのないプログラム開発

「これこれなので、バグが減ります」という説明は、プログラムに素人な経営者に
受けが良いので、新しい言語を売り込もうとした時、いつも（何十年も）使われている、
売り文句ですね。

まあその辺は、例えばセミナーへの出張を申請する際に、適当に引用する程度にして
こういう新しい言語は、頭の体操だと思えば、なかなか面白いです。

Re:釣り！？

[kikumaru (38177)]

>「これこれなので、バグが減ります」という説明は、プログラムに素人な経営者に
> 受けが良いので、新しい言語を売り込もうとした時、いつも（何十年も）使われている、
> 売り文句ですね。

御意。
ただ、この売り文句が似非くささを醸し出す原因なのに、
何処も止めないんだよねぇ～。＜またかと思ってしまう。

Re:

[Anonymous Coward]

そうかなぁ、同じモノを同じスキルの人が作るなら
新しい言語と古い言語のバグは雲泥の差があると思うけど

時代の変化で作る対象が複雑化していたり
技術の普及でボンクラ高度なスキルを持たない人でもプログラミングするようになってるけど
それを言語を測る物差しで一緒に測ってない？