{
"id": "language:ocaml",
"_kind": "Language",
"_file": "domain/languages/ocaml.yaml",
"_cluster": "domain",
"attributes": {
"displayName": "OCaml",
"paradigms": [
"functional",
"object-oriented",
"imperative"
],
"description": "OCaml is a statically-typed, multi-paradigm language in the ML family,\ncombining functional programming with imperative and object-oriented\nfeatures. Its Hindley-Milner type system with module system and functors\nprovides powerful abstraction mechanisms.\n\nOCaml is the implementation language for several influential tools:\nthe Coq proof assistant, the Flow and Hack type checkers at Meta, the\nReason/ReScript language transpilers, and the Semgrep static analysis\ntool. Jane Street uses OCaml extensively for trading systems. The opam\npackage manager and Dune build system support modern OCaml development.\nThe language compiles to native code with competitive performance.\n"
},
"outgoingEdges": [],
"incomingEdges": []
}