This post originated from an RSS feed registered with .NET Buzz
by Ashvil.
Original Post: Extending C# - Future Language research
Feed Title: Ashvil's Blog
Feed URL: http://ashvil.net/cs/blogs/blog/rss.aspx
Feed Description: Notes from the software world
Along with Comega, the MS research folks have come up with Spec#, which is oriented towards developing higher quality software by adding features like non-null types, checked exceptions, method contracts, model-based testing, etc.
The great things about these two research projects are that they extend and build on C#, which increases the chances that it will be usable by real world programmers, to provide actual feedback that can be used to enhance the C# language.
Hopefully, feedback from these projects will give C# 3.0 and 4.0 features that reduce programming time, reduce object-database-xml impedance, enable safer concurrent programming and help writing more secure and higher quality programs.