SpeC# 사용하기에 충분히 안정적입니까?

여기 누군가는 SpeC#을 정기적으로 사용합니까? 모든 곳에서 사용하기 전에 충분히 안정적이고 강력한 지 알고 싶습니다. 구문이 C# 4.0에 영향을주는 것처럼 보입니다. 4.0이 릴리스되면 쉽게 업그레이드 할 수 있습니다. 생각?SpeC# 사용하기에 충분히 안정적입니까?

출처

2009-01-12 cbp

어디에서나 사용할 수 있습니까? 문서화 된 경우에만 해당 경로를 선택해야합니다. 분명히 그것은 사실이 아니며 실험적/연구 지향적 인 사내 제품임을 시사합니다. SpeC#, Sing #, C-omega, F * 꽤 많이 있습니다. 반면에 Nemerle이나 Boo를 시도해 보는 것이 더 좋은 대안이 될 것입니다. – nawfal

"안정적"이라는 말에 달려 있다고 생각합니다. 두 가지 해석이 있습니다

는 "변화하지", "충돌하지"

나는 약 1 알고 있지만하지 않는 당신은 Spec# 다음 # 2, 잘 의미하는 경우 버려졌고 더 이상 개발되지 않으므로 아마 당신만큼 안정적 일 것입니다.

Spec#에 (Boogie라는 정적 분석 도구와 정리의 증명/제약 해결사 Z3)에 사용 된 기술과 도구는 이제 Code Contracts for .NET라는 새로운 라이브러리의 일부입니다. 라이브러리가된다는 결론은 에 대한 코드 계약이 작동한다는 것입니다. .NET 언어는 C#, VB.NET, F #, Ruby, Python, JavaScript, Lisp, Smalltalk, Boo입니다. 단점은 언어 통합이 없으므로 계약서에 대한 유용한 구문이 없다는 것입니다.

.NET 용 Code Contracts는 .NET 4.0/Visual Studio 2010에 포함될 예정이지만 불행히도 Microsoft 언어로는 DbC가 지원되지 않습니다.

출처

2009-01-12 23:40:14

그럼 SpeC#이 버려 졌다는 말은 무엇입니까? 나는 이것에 대한 아무런 언급도 찾을 수 없다. – Lucero

팟 캐스트, 채널 9 비디오 또는 블로그 게시물에서들을 수 있는지 기억이 나지 않는다. 기본적으로 아무도 SpeC#을 더 이상 사용하지 않습니다. 왜냐하면 그들은 모두 Code Contracts.NET 라이브러리에서 풀 타임으로 작업하기 때문입니다. SpeC#에 대한 버그 수정 및 유지 보수 릴리즈가있을 수 있지만 아무 것도 없을 것입니다 ... –

... 추가 개발, 생산 릴리스가 없을 것입니다 (현재 상업 프로젝트에 SpeC#을 사용하는 것은 불법입니다). C# 3.0 또는 C# 4.0 기능은 없을 것입니다. SpeC#을 위해 개발 된 모든 기술은 현재 Code Contracts에 있습니다. –

SpeC# 사용하기에 충분히 안정적입니까?

답변

관련 문제