先月、Microsoft MVPであると同時にInfoQのエディタ仲間であるGreg Young氏が、Microsoftに対して .NETでホールまたはピースとしてSpec#をリリースするよう要請する草の根運動(ブログ・英語)を起こした。同じような考えの人びとにメモを残すように依頼し、Greg氏は自身の熱意を大きなフォントで表した。
検証できるソフトウェアが必要だ・・・
Spec#(source)はC#言語の拡張機能で、実際にはC#タイプシステムを拡張して非ヌルタイプや抑制された例外をインクルードする。また、メソッド契約やオブジェクトインバリアントを提供する。
Greg氏は Mike Barnett氏およびRustan Leino氏による実際のaltdotnet Spec#セッション(ブログ・英語)を録画し、そのビデオ映像を掲載した。しっかり耳を澄まして聞くと、およそ20分間プレゼンターがコミュニティに対してSpec#が Visual Studioに適切に組み込まれることを望んでいるかどうか、発言力を高めるようにお願いしていることを聞くことができる。
またScott Hanselman氏は、Hanselminutesオーディオポッドキャスト(source)をリリースした際、 Mike Barnett氏およびRustan Leino氏とのインタビューについてコミュニティの反応を要求した。
デベロッパが好みそうなのは以下のどちらか？
言語拡張機能としてC#に加えられたSpec#
または
複数言語向けに.NETに加えられたSpec#
原文はこちらです：http://www.infoq.com/news/2008/05/young-specsharp