アカウント名:
パスワード:
> 十分かつできの良い仕様書があってそれを元にコードを書くのなら型ありの言語も良いとは思う。
コンパイラ開発などのマシン寄りのジョブならわからないでもないが、一般的なジョブで、仕様書が型に関係してくるのがよくわからない。
設計書なら型レベルの話がかかわってくることは理解できる。私の理解不足なのでしょうか。
仕様書に型に関連する記述がまったく無いとは思っていないですよね?出来の良い仕様書であれば、値の範囲とか、入出力されるデータの概要くらい書いていると想像がつくのですが、たいていは、その仕様書を元に設計書を記述するので、内容から型がまったく推測できない仕様書なんて、それって仕様書以前のただのメモ書きじゃないでしょうか。
> 値の範囲とか、入出力されるデータの概要くらい書いていると想像がつくのですが、
数値範囲と型は別の概念ではないでしょか。例えば、浮動小数点を扱う場合、プログラム内では単精度浮動小数型か倍精度浮動小数型、あるいは整数型を組み合わせてつかう、さらには文字列型を使うという選択肢もありえます。
仕様は目的と適用範囲の設定。それを開発環境に沿って具体化するのが設計。この辺の区分が違う世界なのでしょうかね。
もちろん他システムとのインターフェースでは、仕様書レベルで型が規定されることもありえますが、この場合は、それこそがジョブの目的なので仕様書で規定される事項に含まれます。
#この辺りの認識が違うと、宗教論争になるのは無理ないかもとちょっと納得
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
計算機科学者とは、壊れていないものを修理する人々のことである
関連性がわからない (スコア:0)
> 十分かつできの良い仕様書があってそれを元にコードを書くのなら型ありの言語も良いとは思う。
コンパイラ開発などのマシン寄りのジョブならわからないでもないが、
一般的なジョブで、仕様書が型に関係してくるのがよくわからない。
設計書なら型レベルの話がかかわってくることは理解できる。
私の理解不足なのでしょうか。
Re: (スコア:0)
仕様書に型に関連する記述がまったく無いとは思っていないですよね?
出来の良い仕様書であれば、値の範囲とか、入出力されるデータの概要くらい書いていると想像がつくのですが、
たいていは、その仕様書を元に設計書を記述するので、内容から型がまったく推測できない仕様書なんて、
それって仕様書以前のただのメモ書きじゃないでしょうか。
Re:関連性がわからない (スコア:0)
> 値の範囲とか、入出力されるデータの概要くらい書いていると想像がつくのですが、
数値範囲と型は別の概念ではないでしょか。
例えば、浮動小数点を扱う場合、プログラム内では
単精度浮動小数型か倍精度浮動小数型、
あるいは整数型を組み合わせてつかう、さらには文字列型を使うという選択肢もありえます。
仕様は目的と適用範囲の設定。それを開発環境に沿って具体化するのが設計。
この辺の区分が違う世界なのでしょうかね。
もちろん他システムとのインターフェースでは、仕様書レベルで型が規定されることもありえますが、
この場合は、それこそがジョブの目的なので仕様書で規定される事項に含まれます。
#この辺りの認識が違うと、宗教論争になるのは無理ないかもとちょっと納得