Jsem zvědav, jestli se autor článku rozepíše o Ada trochu hutněji --- zatím se mi zdá, že to může čtenáře ne úplně navnadit. Ada je opravdu dobře navržený jazyk -- a nový standard zavedl spoustu pěkných věcí např. Design-By-Contract explicitně přímo v jádru jazyka. O typech bych psal především -- hodně a hutně -- ostatní je snadno dohledatelné a netřeba čtenáře učit if-else po stopadesáté -- nakonec je Ada imperativní jazyk a moc se v tomto neliší.
http://www.drdobbs.com/architecture-and-design/ada-2012-ada-with-contracts/240150569?pgno=1