Názor k článku ML – funkcionální jazyk s revolučním typovým systémem od anonym - Nevím jak sílu typového systému hodnotíte, ale s...

Nevím jak sílu typového systému hodnotíte, ale s Haskellem mám tu zkušenost, že když kód proleze překladačem, tak skoro jistě funguje a unit testy člověku přijdou jako ztráta času.