Sather Language

Home page at http://www.icsi.berkeley.edu/~sather/

SatherLanguage was essentially an EiffelLanguage 2.0 subset, which has then evolved and added/modified features, such as ContraVariance, TypeCase and:

iteration abstraction, higher order routines, object constructors, routine and iter overloading

...whatever those things are.

Like Eiffel, it can be compiled into C for maximum portability.

Um, wouldn't iter overloading be like defining the method __iter__() in python? (as in, a generator method, of course...)

See PartiallyTypedLanguages, DesignByContract.

CategoryProgrammingLanguage