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)#E...