InfoQ

News

MicrosoftへSpec#のリリースを要望

作者 James Vastbinder, 翻訳者 編集部 投稿日 2008年6月2日 午前12時35分

コミュニティ
.NET
トピック
言語設計,
.NETフレームワーク,
プログラミング
タグ
Spec#

先月、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    

ブックマーク
digg+,
reddit+,
del.icio.us+,
dzone+,
Hatena

No comments

返信

ジャンル別一覧

Linda Rising氏による「誰を信頼しますか?」

Agile2008の3日目、8/6(水)午前中の、Linda Risingによるセッションです。セッションの冒頭、Linda Risingはとてもゆったりとしたきれいな、わかりやすい英語で話し始めました。

Googleの分散処理技術(マルレク2006 第1回より)

Web2.0 に対する関心は、引き続き高いものがあります。 ただ、その関心は、新しいビジネス・モデルと、プログラミング・スタイルの二つの分野に集中しているように思えます。 今回のセミナーでは、Google のサービスの基礎である分散処理技術に注目します。

Jean Tabaka氏による「Collaboration Explained--真のアジャイルチームのためのファシリテーションツール」

Jean Tabaka氏の書いた書籍では、会議などのチーム活動において、ファシリテーションの手法とツールについて具体的かつ実践的に説明しています。8/8(金)、Agile2008の最終日の朝のセッションでは、Jean Tabaka氏自身が本の内容をベースとしたセッションを行いました。

Hubert Smits氏による「ゲーム・デザイン・ワークショップ」

Agile2008の4日目となる8/6(木)の8:30から、Hubert Smits氏による「ゲーム・デザイン・ワークショップ」がおこなわれました。ゲームと言っても単なる遊びではなく、「フレームゲーム」と呼ばれる、グループでの情報収集や意志決定、また教育やトレーニングの教材として使えるいろいろなゲームです。

スケーラビリティに関するベストプラクティス:eBayからの教訓

eBayが日々挑んでいる主要なアーキテクチャの勢力は、スケーラビリティです。これはアーキテクチャや設計に関するあらゆる意思決定を特徴づけたり、駆り立てたりします。

インタビュー: Emmanuel Bernard氏にBean Validation仕様について聞く

Bean Validationフレームワークの初期ドラフトに関する以前の記事に続き、InfoQは専門家グループが求めているコミュニティの関与と提案について理解を深めるため、Emmanuel Bernard氏と対談しました。

ポーカーに学ぶ、ソフトウェア開発のレッスン

ポーカーは他のトピックにも広く適用できるような数少ない教えを私にもたらしてくれたと信じています。実際私はソフトウェアを開発すればするほど、これら二つの仕事は非常に似ていると言う確信の度合いを深めています。

InfoQがBPEL4PEOPLEの代表と対談

恒例の「バーチャルパネルセッション」で、InfoQは新しいOASIS BPEL4People技術委員会の代表と対談をし、この作業が何故必要であるかについて彼らのフィードバックを得る機会を得ました。