.NETの質問を掲示板にしなくても解決する最も簡単な方法がある。

それは、

MSDNを参照する

ということ。

技術系の掲示板を見ていて昔からMSDNを参照すれば解決する問題が多いように感じている。

確かに、たまに分かりにくい記述はあるし、

最近、奇妙な翻訳になっているページもあるし、

翻訳してはいけないキーワードまで翻訳しすぎているページもあるけど、それでも、MSDNを参照して解決する問題は多い。

同じく、SQLServer関連の問題もBooks Onlineを参照すれば解決する問題が結構多い。

ぜひ、質問する前にMSDNやBooks Onlineを参照する事から初めてみてはいかがか。

nfoQでは昨年からC#をベースにして契約による設計をサポートするSpec#(リンク)を取り上げている。契約による設計は静的型付けのように、コンパイル時に検証されないと一定の動作を実行することができないという考え方だ。契約は通常、事前条件・事後条件という形を取る。例えば引数や戻り値がnullでない、あるいは一定の範囲内の値であるという条件がそうだ。

Spec#のような完全に新しい言語の学習がディベロッパの負担にならないように、Microsoftは言語を意識しなくてもいいようにライブラリを開発していて、これはどの.NET言語でも利用することができる。さて、ある種の契約はアサーションに似ているがその実はかなり異なっている。契約は静的なコード解析を組み合わせているため、コンパイラの内部でも外部でも契約を用いることができ、テストフレームワークも利用できる。また契約は実行可能であり、それゆえデバッグバージョン時にはアサーションのように振る舞う。次の例について考えてみよう。

InfoQ: .NET 4の新機能を探る：コード契約

.NET 4でD言語みたいにDesign By Contractを意識したコードが書けるようになるらしい。

事前条件、事後条件を言語仕様に盛り込んでほしいと思っていたので嬉しい。

特に事後条件のサポートが嬉しい。

事前条件は、言語仕様に盛り込まれていなくても比較的実装しやすかっったのだが、事後条件は場合によってはちょっとめんどくさかったのだ。

あとはいつ出るのか。本当に盛り込まれるのか。かな。

VB.NETに関して

Option Contract On

なんてオプションが追加されたら、嬉しいかも。

デフォルトOffで良いけど。