SPEC#을 사용할 수있을 정도로 안정적입니까? [닫은

Question

여기에 사양#을 정기적으로 사용하는 사람이 있습니까? 어디에서나 사용하기 전에 그것이 안정적이고 강력한 지 알고 싶습니다. 구문이 C# 4.0에 영향을 미치는 것처럼 보이며, 이는 4.0이 릴리스되면 업그레이드하기가 더 쉽게 업그레이드 할 수 있기를 바랍니다. 생각?

Answer 1

나는 그것이 당신이 "안정적인"의 의미에 달려 있다고 생각합니다. 가능한 두 가지 해석이 있습니다.

1. "충돌하지 않음"
2. "변화하지 않음"

나는 #1에 대해 모른다. 그러나 당신이 #2를 의미한다면, 글쎄, 투기# 버려졌고 더 이상 개발되지 않았으므로 아마도 당신이 얻을만큼 안정적 일 것입니다.

사용 된 기술과 도구 투기# (정적 분석 도구가 호출되었습니다 부기 그리고 정리 속담 / 구속자 솔버 Z3) 이제 새로운 도서관의 일부입니다 .NET에 대한 코드 계약. 도서관이되는 것은 코드 계약이 어느 .NET 언어 : C#, vb.net, F#, Ruby, Python, JavaScript, LISP, SmallTalk, Boo, 이름을 지정합니다. 단점은 언어 통합을 얻지 못하므로 계약에 대한 구문이 없다는 것입니다.

.NET의 코드 계약은 .NET 4.0 / Visual Studio 2010의 일부가되지만 불행히도 Microsoft 언어에는 DBC 지원이 없습니다.