F#
E34603
F# is a functional-first, multi-paradigm programming language for the .NET platform, known for its strong type system and concise, expressive syntax.
All labels observed (8)
| Label | Occurrences |
|---|---|
| F# canonical | 47 |
| F# (some features) | 1 |
| F# 8.0 | 1 |
| F# compiler | 1 |
| F# for .NET | 1 |
| F# language specification | 1 |
| F# programming language | 1 |
| Microsoft F# | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T264569 — 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: F# Context triple: [Visual Studio, supportsProgrammingLanguage, F#]
-
A.
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.
-
B.
Elm
Elm is a statically typed, functional programming language that compiles to JavaScript and is designed for building reliable, maintainable web front-end applications.
-
C.
C# programming language
C# is a modern, object-oriented programming language designed for building a wide range of applications on the .NET platform, known for its strong typing, rich standard library, and integration with Visual Studio.
-
D.
F Reactor
F Reactor was one of the early plutonium production reactors at the Hanford Site in Washington, built during the Manhattan Project to support the U.S. nuclear weapons program.
-
E.
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.
- 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: F# Target entity description: F# is a functional-first, multi-paradigm programming language for the .NET platform, known for its strong type system and concise, expressive syntax.
-
A.
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.
-
B.
Elm
Elm is a statically typed, functional programming language that compiles to JavaScript and is designed for building reliable, maintainable web front-end applications.
-
C.
C# programming language
C# is a modern, object-oriented programming language designed for building a wide range of applications on the .NET platform, known for its strong typing, rich standard library, and integration with Visual Studio.
-
D.
F Reactor
F Reactor was one of the early plutonium production reactors at the Hanford Site in Washington, built during the Manhattan Project to support the U.S. nuclear weapons program.
-
E.
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.
- F. None of above. chosen
Statements (62)
| Predicate | Object |
|---|---|
| instanceOf |
.NET language
ⓘ
programming language ⓘ |
| designedBy | Don Syme ⓘ |
| developedBy |
F# Software Foundation
ⓘ
Microsoft ⓘ |
| fileExtension |
.fs
ⓘ
.fsi ⓘ .fsscript ⓘ .fsx ⓘ |
| firstAppeared | 2005 ⓘ |
| governedBy | F# Software Foundation ⓘ |
| hasImplementation | F# compiler for .NET ⓘ |
| hasTooling |
JetBrains Rider support
ⓘ
Visual Studio Code ⓘ
surface form:
Visual Studio Code Ionide extension
Visual Studio integration ⓘ |
| influenced |
C# programming language
ⓘ
surface form:
C#
Elm ⓘ TypeScript programming language ⓘ
surface form:
TypeScript
|
| influencedBy |
C# programming language
ⓘ
surface form:
C#
Haskell ⓘ Lisp programming language ⓘ
surface form:
Lisp
OCaml ⓘ Python ⓘ Scala ⓘ |
| license | open source ⓘ |
| notableFeature |
REPL (F# Interactive)
ⓘ
concise syntax ⓘ expressive type system ⓘ |
| paradigm |
functional-first
ⓘ
imperative ⓘ multi-paradigm ⓘ object-oriented ⓘ |
| platform |
.NET Framework
ⓘ
surface form:
.NET
.NET 5+ ⓘ .NET Core ⓘ Mono ⓘ Xamarin ⓘ |
| runsOn | Common Language Runtime ⓘ |
| stableRelease |
F#
self-linksurface differs
ⓘ
surface form:
F# 8.0
|
| standard | ECMA-334 inspired design principles ⓘ |
| supports |
algebraic data types
ⓘ
asynchronous programming ⓘ computation expressions ⓘ concurrent programming ⓘ first-class functions ⓘ functional programming ⓘ higher-order functions ⓘ immutability ⓘ interactive scripting ⓘ object-oriented programming ⓘ pattern matching ⓘ type inference ⓘ units of measure ⓘ |
| target |
Microsoft Intermediate Language
ⓘ
surface form:
.NET Intermediate Language
|
| typingDiscipline |
inferred
ⓘ
static ⓘ strong ⓘ |
| useCase |
data science
ⓘ
domain-driven design ⓘ financial modeling ⓘ scripting ⓘ web development ⓘ |
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: F# Description of subject: F# is a functional-first, multi-paradigm programming language for the .NET platform, known for its strong type system and concise, expressive syntax.
Referenced by (54)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
C#
this entity surface form:
F# (some features)
this entity surface form:
F# 8.0
subject surface form:
Microsoft Visual Studio Enterprise
subject surface form:
Common Language Infrastructure
this entity surface form:
F# for .NET
this entity surface form:
F# language specification
this entity surface form:
Microsoft F#
this entity surface form:
F# compiler