OCaml: o nicho funcional que influenciou TypeScript, Flow e Reason
OCaml é uma linguagem de programação funcional que nasceu no Instituto Nacional de Pesquisa em Informática e Automação (INRIA) da França, na década de 1990, como sucessora do Caml Special Light. Herdeira da tradição ML (Meta Language), OCaml combinou pela primeira vez inferência de tipos robusta com um sistema de módulos poderoso e suporte prático a programação imperativa.