(...)
9. Používá dost vlastností funkcionálních jazyků (pattern matching, obsluha chyb), ale bez extrémů typu haskellovských monád.
(...)
Můžu se zeptat, v čem jsou haskellovské monády extrémní? 
Můžeš, ale podle mě to víš. Jde zejména o IO monádu, která z čistě funkcionálního jazyka dělá něco, co umí komunikovat s vnějším světem.
A co je na ní extrémního? Zrovna IO monáda je celkem zajímavý a pěkný koncept, kdy člověk pak víc uvažuje nad kódem (ve smyslu, je tady opravdu nutná?, apod.), ale chápu, že toto bude asi dost individuální.

Především k čemu by byl takový jazyk, který neumí komunikovat s vnějším světem?