OCaml
https://ja.wikipedia.org/wiki/OCaml
型安全な
プログラミング
を実現する関数型言語