OCaml

関数型言語

型推論スゴイ

INRIAが開発したMLの方言

INRIA = フランス国立情報学自動制御研究所

ML は Meta-Language の略

Markup Language ではない

Machine Learning でもない

嫌なところ

pythonやgoと比べてしまうとstdlibが貧弱

添字アクセスのsytnaxが array, string, bigarray でそれぞれ違う

ハマりどころ