Odpovídáte na názor ke článku Kudy dál v kompilovaných jazycích?.
[3] S Adou nemám žádné zkušenosti, ale některé věci s ní má OCaml podobné, např. striktní kontrolu typů. To je vůbec dost podstatný rys tohoto jazyka a pro lidi zvyklé na dynamické jazyky může být občas dost frustrující. V OCaml bez explicitní konverze člověk ani nesečte int s floatem. ;-)