It sounded a lot like Eiffel[1] to me, except they also have traditional Exceptions when you need them. [1] http://en.wikipedia.org/wiki/Eiffel_(programming_la

It sounded a lot like Eiffel[1] to me, except they also have traditional Exceptions when you need them. [1] http://en.wikipedia.org/wiki/Eiffel_(programming_language)#Exception_handling http://en.wikipedia.org/wiki/Eiffel_(programming_language)#E...