An interpreted object oriented language, originally patterned after Eiffel. The language designed to be Turing-complete but as fundamentally unlike any existing language as possible. Expressions that look like line noise. Control constracts that will make you gasp, make you laugh, and possibly make you hurl. OO Links - Thousands of links relating to object oriented programming.
E is a a purely equational theorem prover for clausal logic.
Very occasionally it will find a proof for the hypothesis and tell you so. It seems to me that Lisp systems that include pattern-based macro systems provide equivalent sorts of extendability, and that Forth systems have offered extendable compilers for upwards of 15 years now. It validates types at compile time, thus paralleling more type-sensitive languages like the Algol family, and functional languages like ML, Haskell. The Pliant accounting mechanism is a security scheme based on matching patterns against path names, which is certainly not the worst scheme ever devised. Some people have looked at animating subsets of Z for rapid prototyping purposes, using logic and functional programming for example, but this is not really the major point of Z, which is to increase human understandability of the specified system and allow the possibility of formal reasoning and development.