30. 10. 2021 9:54
Ocaml si rozhodně zaslouží pozornost (a články). A Dependent ML pro rozšíření obzorů :)