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 Ionide extension ⓘ
linked to:
Visual Studio Code
Visual Studio integration ⓘ |
| influenced |
C#
ⓘ
linked to:
C# programming language
Elm ⓘ TypeScript ⓘ
linked to:
TypeScript programming language
|
| influencedBy |
C#
ⓘ
linked to:
C# programming language
Haskell ⓘ Lisp ⓘ
linked to:
Lisp programming language
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
ⓘ
linked to:
.NET Framework
.NET 5+ ⓘ .NET Core ⓘ Mono ⓘ Xamarin ⓘ |
| runsOn | Common Language Runtime ⓘ |
| stableRelease |
F# 8.0
ⓘ
linked to:
F#
|
| 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 |
.NET Intermediate Language
ⓘ
linked to:
Microsoft 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.