ReasonML
E24477
ReasonML is a syntax and toolchain for the OCaml language that offers a JavaScript-friendly, type-safe alternative for building web and native applications.
All labels observed (1)
| Label | Occurrences |
|---|---|
| ReasonML canonical | 13 |
How this entity was disambiguated
This entity first appeared as the object of triple T192116 — 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: ReasonML Context triple: [JavaScript, influenced, ReasonML]
-
A.
coq gaulois
Coq gaulois is the French term for the Gallic rooster, a national emblem of France symbolizing courage, pride, and the French nation.
-
B.
Julia
Julia is a high-level, high-performance programming language designed for numerical computing, data science, and scientific research, combining the ease of dynamic languages with the speed of compiled languages.
-
C.
Pascal
Pascal is a high-level, strongly typed procedural programming language designed by Niklaus Wirth in the late 1960s, widely used for teaching structured programming and data structuring concepts.
-
D.
Ada (programming language)
Ada is a statically typed, high-level programming language designed with strong support for reliability, safety, and real-time systems, widely used in mission-critical and embedded applications such as aerospace and defense.
-
E.
Rust
Rust is a modern systems programming language focused on memory safety, concurrency, and performance without a garbage collector.
- 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: ReasonML Target entity description: ReasonML is a syntax and toolchain for the OCaml language that offers a JavaScript-friendly, type-safe alternative for building web and native applications.
-
A.
coq gaulois
Coq gaulois is the French term for the Gallic rooster, a national emblem of France symbolizing courage, pride, and the French nation.
-
B.
Julia
Julia is a high-level, high-performance programming language designed for numerical computing, data science, and scientific research, combining the ease of dynamic languages with the speed of compiled languages.
-
C.
Pascal
Pascal is a high-level, strongly typed procedural programming language designed by Niklaus Wirth in the late 1960s, widely used for teaching structured programming and data structuring concepts.
-
D.
Ada (programming language)
Ada is a statically typed, high-level programming language designed with strong support for reliability, safety, and real-time systems, widely used in mission-critical and embedded applications such as aerospace and defense.
-
E.
Rust
Rust is a modern systems programming language focused on memory safety, concurrency, and performance without a garbage collector.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
JavaScript-friendly language syntax
ⓘ
OCaml syntax extension ⓘ programming language syntax ⓘ toolchain ⓘ |
| basedOn | OCaml ⓘ |
| category | ML-family language syntax ⓘ |
| compilesTo |
JavaScript
ⓘ
native code ⓘ |
| createdBy | Jordan Walke ⓘ |
| designedFor |
native applications
ⓘ
web applications ⓘ |
| developedAt | Facebook ⓘ |
| documentationURL | https://reasonml.github.io/docs/en/what-and-why ⓘ |
| ecosystemIncludes |
ReasonReact
ⓘ
bs-platform ⓘ |
| goal |
improve developer experience for OCaml
ⓘ
make OCaml more accessible to JavaScript developers ⓘ provide type-safe alternative to JavaScript ⓘ |
| hasFeature |
JavaScript-friendly syntax
ⓘ
algebraic data types ⓘ functional programming support ⓘ immutable data structures ⓘ imperative programming support ⓘ interop with JavaScript ⓘ pattern matching ⓘ static type system ⓘ type inference ⓘ |
| hasStrongGuarantee | type safety ⓘ |
| hostLanguage | OCaml ⓘ |
| initialReleaseYear | 2016 ⓘ |
| license | MIT License ⓘ |
| paradigm |
functional programming
ⓘ
imperative programming ⓘ strongly typed programming ⓘ |
| relatedTo |
BuckleScript
ⓘ
OCaml ⓘ ReScript compiler (historical) ⓘ
surface form:
ReScript
|
| status | largely superseded by ReScript for JS-focused development ⓘ |
| supports |
JS tooling integration
ⓘ
React development via ReasonReact ⓘ npm-based workflows ⓘ |
| syntaxStyle |
C-like syntax
ⓘ
JavaScript-like syntax ⓘ |
| typeDiscipline |
static typing
ⓘ
strong typing ⓘ |
| usesCompiler |
BuckleScript
ⓘ
ReScript compiler (historical) ⓘ |
| website | https://reasonml.github.io ⓘ |
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: ReasonML Description of subject: ReasonML is a syntax and toolchain for the OCaml language that offers a JavaScript-friendly, type-safe alternative for building web and native applications.
Referenced by (13)
Full triples — surface form annotated when it differs from this entity's canonical label.