ocamlopt
E559811
ocamlopt is the native-code optimizing compiler for the OCaml programming language, producing efficient machine code executables.
All labels observed (3)
| Label | Occurrences |
|---|---|
| ocamlopt canonical | 2 |
| OCaml compiler | 1 |
| OCaml native-code compiler | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T5923936 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: ocamlopt Context triple: [OCaml, hasTool, ocamlopt]
-
A.
ocamlc
ocamlc is the bytecode compiler for the OCaml programming language, translating OCaml source code into portable bytecode executables.
-
B.
OCaml
OCaml is a statically typed functional programming language from the ML family, known for its powerful type system, pattern matching, and efficient native code compilation.
-
C.
js_of_ocaml
js_of_ocaml is a compiler and toolchain that translates OCaml bytecode into JavaScript, enabling OCaml programs to run in web browsers and other JavaScript environments.
-
D.
ReasonML
ReasonML is a syntax and toolchain for the OCaml language that offers a JavaScript-friendly, type-safe alternative for building web and native applications.
-
E.
opam
opam is the primary package manager and build tool used for installing, managing, and publishing OCaml libraries and applications.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: ocamlopt Target entity description: ocamlopt is the native-code optimizing compiler for the OCaml programming language, producing efficient machine code executables.
-
A.
ocamlc
ocamlc is the bytecode compiler for the OCaml programming language, translating OCaml source code into portable bytecode executables.
-
B.
OCaml
OCaml is a statically typed functional programming language from the ML family, known for its powerful type system, pattern matching, and efficient native code compilation.
-
C.
js_of_ocaml
js_of_ocaml is a compiler and toolchain that translates OCaml bytecode into JavaScript, enabling OCaml programs to run in web browsers and other JavaScript environments.
-
D.
ReasonML
ReasonML is a syntax and toolchain for the OCaml language that offers a JavaScript-friendly, type-safe alternative for building web and native applications.
-
E.
opam
opam is the primary package manager and build tool used for installing, managing, and publishing OCaml libraries and applications.
- F. None of above. chosen
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
OCaml compiler
ⓘ
native-code compiler ⓘ optimizing compiler ⓘ |
| category | compiler ⓘ |
| comparesWith | ocamlc ⓘ |
| designedFor | high-performance OCaml code ⓘ |
| distributedWith | OCaml compiler package ⓘ |
| implements |
OCaml language specification
ⓘ
linked to:
OCaml
|
| inputFormat |
.cmx compiled module files
ⓘ
.cmxa library files ⓘ .ml source files ⓘ .mli interface files ⓘ |
| invokedAs | ocamlopt ⓘ |
| license | LGPL with linking exception ⓘ |
| maintainedBy |
Inria
ⓘ
linked to:
INRIA
OCaml development team ⓘ |
| optimizationLevel | higher than ocamlc ⓘ |
| outputFormat |
.a static libraries
ⓘ
.cmx compiled module files ⓘ .cmxa native libraries ⓘ .o object files ⓘ native executable binaries ⓘ |
| partOf |
OCaml distribution
ⓘ
OCaml toolchain ⓘ |
| produces | native executables ⓘ |
| programmingLanguage | OCaml ⓘ |
| relatedTo |
ocaml
ⓘ
ocamlc ⓘ |
| supports |
debug information generation
ⓘ
flambda optimizations (on supported builds) ⓘ linking of compiled modules ⓘ profiling options ⓘ separate compilation ⓘ |
| supportsOperatingSystem |
Linux
ⓘ
Windows ⓘ macOS ⓘ |
| supportsPlatform |
ARM
ⓘ
PowerPC ⓘ x86 ⓘ x86-64 ⓘ |
| target | native machine code ⓘ |
| uses |
C toolchain linker
ⓘ
constant propagation ⓘ dead code elimination ⓘ inlining ⓘ instruction selection ⓘ peephole optimizations ⓘ register allocation ⓘ |
| writtenIn | OCaml ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: ocamlopt Description of subject: ocamlopt is the native-code optimizing compiler for the OCaml programming language, producing efficient machine code executables.
Referenced by (4)
Full triples — surface form annotated when it differs from this entity's canonical label.