Zajímavý článek. Jen malou poznámečku ke generickým typům - nejlepší generiky, co jsem viděl jsou v Adě 95. To, co je v C++ je více méně nepřehledný humus. Ovšem Javu 1.5 ani C# 2.0 jsem zatím nijak detailně nezkoumal.
Vůbec Mercury mi Adu ve své filozofii docela připomíná. Samozřejmě s tím rozdílem, že Ada je jen obyčejný imperativní jazyk, co používá prověřené koncepty s důrazem na bezpečnost :-).
