Είδα στο .NET Languages ότι στη Microsoft δουλεύουν άλλη μια γλώσσα, την Spec#.
Spec# is a language that is a superset of C#. It adds contract specifications (pre- and post-conditions) and checked exceptions, among other things.
Αναρωτιόμουν γιατί τα pre- και post-conditions δεν είχαν εμφανιστεί ως τώρα σε καμμία γλώσσα εκτός της Eiffel. Πίστευα ότι οφειλόταν σε ζητήματα ευρεσιτεχνιών ή licensing. Μακάρι να τα δούμε σύντομα στο .NET (όχι μόνο στην C#)
Παναγιώτης Καναβός, Freelancer
Twitter: http://www.twitter.com/pkanavos