[pjmlp]

It is nothing to be amazed, other than we are finally able to enjoy such type systems in mainstream languages.

PL/I and Algol 68 were equally powerfull, or if you research into was being done in Xerox PARC workstations.

If anything, we are 30 years too late for where we could have been if it wasn't for UNIX winning the worstation market.