If one assumes that the ``software crisis'' will not allow restrictions on the expressivity of programming languages to survive advances in compiler technology, it is also safe to assume that statically typed languages like Ada, C++, Eiffel and so on have no future.
The author believes that the future belongs to persistent, polymorphic, dynamically typed, object-oriented languages that allow types to intersect freely. This article has shown that these need not be radical languages that are as different from Algol family as LISP, Prolog or Smalltalk are, but can just as well be Algol-style languages.
Prof Herman Venter