Είδα στο .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

Σίγουρα ότι χρειαζόμαστε για πιο ασφαλή (αναφέρομαι σε fail safety) προγράμματα. Κάποια industries έχουν zero fault tollerance, όπως βέβαια και κάποιοι τομείς εξειδίκευσης της ακαδημαϊκής κοινότητας.

Μακάρι να προλάβουν να το ενσωματόσουν στο VS.NET 2005.

---

. . . I didn't know it was impossible when I did it.

Έχει βγει και Ada για .ΝΕΤ! Λέγεται A# και θα την βρεις στο http://www.usafa.af.mil/dfcs/bios/mcc_html/a_sharp.html
Μάλιστα τον Οκτώβρη έβγαλε και νέα έκδοση (2.01).

---

Παναγιώτης Καναβός, Freelancer
Twitter: http://www.twitter.com/pkanavos