| Bertrand Meyer's Eiffel programming language was heavily positively influenced by Ada. https://en.wikipedia.org/wiki/Eiffel_(programming_language) It was also heavily negatively influenced by C++. If you like reading lots of hilarious ideological, syntactic, and semantic ranting and raving about how terrible C++ is, pick up one of Bertrand Meyer's original Eiffel books (from before Java, which is another negative reaction to C++ in a different direction), you'll love it! Where I think it broke down is with multithreading, because you can't reason about preconditions and postconditions of a method if there are other threads banging away at it. But maybe that's been solved since when I read the Eiffel book. Sather is an open source language that was originally based on Eiffel, but developed in its own direction. Named after the Sather Tower at Berkeley instead of the Eiffel Tower in Paris. https://en.wikipedia.org/wiki/Sather The Differences Between Sather and Eiffel https://omohundro.files.wordpress.com/2009/03/omohundro91_sa... |