spec#

1熱度

2回答

我最近看到這個視頻 http://channel9.msdn.com/pdc2008/TL51/關於託管合同工具庫，這當然看起來很有趣。令人遺憾的是，他們似乎不會將這一點納入語言本身，而這在語法＃中會更加優雅。事實上，在C＃4.0中同時擁有這兩個選項會很好，因爲合同爲業務代碼增加了很多噪音。有沒有人在這裏使用它，並有一些真實世界的反饋？你還可以添加契約到類屬性，甚至變量？像 decimal Pe

3熱度

1回答

非空對象有什麼問題？

我一直在尋找最近的DbC和Spec＃，它似乎支持非空對象。不幸的是，Spec＃似乎已被放棄。規範＃似乎有很多很好的語言功能，所以爲什麼它被遺棄？是否有任何問題，讓所有的對象默認不可空，所以你將不得不寫int？，字符串？甚至MailMessage？如果你真的想要一個可爲空的對象？我看到一種Sql比喻在這裏你可以檢查類屬性可爲空或非空可爲空。你甚至可以把限制在屬性上，因爲你的可以用sq

4熱度

1回答

代碼合同和規範之間的差異＃

我想在C＃中實現DBC。我面對它的規範和代碼合同。 Spec＃和Code Contract之間的區別是什麼？

4熱度

2回答

什麼樣的關鍵字/工具在那裏幫助編譯器優化

通常我們聽到什麼，如果你調用一個返回值是不會改變的方法，把它拿出來的循環。 for(int i=0; i < Instance.ExpensiveNonChangingMethod(); i++) { // Stuff } 我在想，如果你能一些如何告訴給出相同的輸入編譯器（和對象實例），你會得到相同的輸出，因此它：例如像在編寫代碼時作爲優化過程的一部分，它會知道它可以將其移出

1熱度

1回答

在控制檯應用程序中運行TestSuite機器的探索結果文件（Spec Explorer）

我在使用Visual Studio 2012時嘗試遵循Spec Explorer的示例時遇到問題。我一直在關注此link ，但是我遇到了使用控制檯應用程序運行Spec Explorer文件的問題。我的問題開始於下句：「如下圖運行方案對產量的SMB2項目成果的TestSuite的機器的勘探結果文件這一部分：」我不知道如何要做到這一點，但他們沒有詳細說明，你們有誰知道我該怎麼做？

1熱度

1回答

奇點的未來

前段時間，微軟發佈了一個名爲Singularity的研究操作系統，其中有一些非常有趣和創新的概念。我發現其中一個特別引人入勝的組件是C＃編譯器Spec＃，它可以將C＃代碼編譯爲本地機器代碼。我想知道這個項目是否還在繼續？

1熱度

2回答

檢查活動目錄組成員身份

我該如何去迭代組以找出給定用戶是否爲組的成員？我知道我可以在WindowsPrincipal對象上使用IsInRole，但由於某些原因，它並不總是爲我工作，它不會出錯或拋出異常，但只是返回false。我把下面的代碼放在一起，可以幫助我在可靠性方面進行改進，它在3周的測試中沒有給出任何錯誤的結果。附註：1：因此我無法使用GC訪問AD用戶名和密碼。 2：可以在任何域中創建組，但在同一個林中。 3

2熱度

1回答

如何安裝Microsoft Spec＃2010

關於MS研究Microsoft具有名爲Spec＃的C＃兼容語言。 http://research.microsoft.com/en-us/projects/specsharp/ 我發現安裝程序僅適用於Visual Studio 2008 http://research.microsoft.com/en-us/downloads/8826adb9-8398-40d6-a22d-951923fe264

-1熱度

6回答

什麼是規格＃我聽說過？

什麼是規格＃我聽說過嗎？