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