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

なんてことをするんだ

[Anonymous Coward]

リンク先より

>仕様や設計から曖昧さをなくし、全体の整合性を保証することができます。

仕様も考えず、アイディアだけ思いついて、面白い部分コア部分から作り始めてグダグダのうちに
何とか動くものを作る

->デバッグにつぐデバッグ、拡張に次ぐ拡張でコードはプログラマの管理能力を超えるまでにカオス化。

->半年～数年放って置かれる

->全面的にリライト。細部から全体にいたるまで問題点の俯瞰的な理解を得た今、
すばらしくすっきりしたコードが書ける。

->完成

という道をたどるのがプログラミングの楽しさ、醍醐味じゃないか。

え？趣味のプログラミングはそれでよいかもしれないが、
仕事で作られるプログラムはそれじゃだめだろうって。
はっはっは、何言ってんですか。プログラミングなんて仕事にするもんじゃないですよ。

Re:なんてことをするんだ

[IZUMI162i6 (27633)]

いろいろ良さ気な感じに聞こえますが、次のような機能はないんでしょうか？
・営業が短納期で受注するのを防ぐ機能
・仕様が固まるのにかかって遅れた時間の分だけ納期をのばす機能

この辺の機能が実装されれば間違いなくブレイクすると思います。

--
◆IZUMI162i6 [mailto]

Re:なんてことをするんだ

[Anonymous Coward]

嫌なら使わなければいいのに・・・

はっ！なるほど、饅頭怖いの人か。（今風にはツンデレって言うんだっけ？）

Re:なんてことをするんだ

[Anonymous Coward]

と思っている人も多そうだが、こういう言語はどちらかというとプロトタイピングのほうに向いてるよ