F Sharp (programming language)
![]() F# logomark | |
Paradigm | Multi-paradigm: functional, imperative, object-oriented, agent-oriented, metaprogramming, reflective, concurrent |
---|---|
Family | ML |
Designed by | Don Syme, Microsoft Research |
Developer | Microsoft, The F# Software Foundation |
First appeared | 2005 | , version 1.0
Stable release | 16.8[1] ![]() |
Typing discipline | Static, strong, inferred |
OS | Cross-platform: .NET, .NET Framework, Mono |
License | MIT License[2][3] |
Filename extensions | .fs, .fsi, .fsx, .fsscript |
Website | fsharp |
Influenced by | |
C#, Erlang, Haskell,[4] ML, OCaml,[5][6] Python, Scala | |
Influenced | |
C#,[7] Elm, F*, LiveScript | |
|
F# (pronounced F sharp) is a functional-first, general purpose, strongly typed, multi-paradigm programming language that encompasses functional, imperative, and object-oriented programming methods. It is most often used as a cross-platform Common Language Infrastructure (CLI) language on .NET, but can also generate JavaScript[8] and graphics processing unit (GPU) code.[9]
F# is developed by the F# Software Foundation,[10] Microsoft and open contributors. An open source, cross-platform compiler for F# is available from the F# Software Foundation.[11] F# is a fully supported language in Visual Studio[12] and JetBrains Rider.[13] Plug-ins supporting F# exist for many widely used editors including Visual Studio Code, Vim, and Emacs.
F# is a member of the ML language family and originated as a .NET Framework implementation of a core of the programming language OCaml.[5][6] It has also been influenced by C#, Python, Haskell,[4] Scala and Erlang.
History
Versions
Version | Language specification | Date | Platforms | Runtime |
---|---|---|---|---|
F# 1.x | May 2005[14] | Windows | .NET 1.0 - 3.5 | |
F# 2.0 | August 2010 | April 2010[15] | Linux, macOS, Windows | .NET 2.0 - 4.0, Mono |
F# 3.0 | November 2012 | August 2012[16] | Linux, macOS, Windows; JavaScript,[8] GPU[9] |
.NET 2.0 - 4.5, Mono |
F# 3.1 | November 2013 | October 2013[17] | Linux, macOS, Windows; JavaScript,[8] GPU[9] |
.NET 2.0 - 4.5, Mono |
F# 4.0 | January 2016 | July 2015[18] | ||
F# 4.1 | May 2018 | March 2017[19] | Linux, macOS, Windows, | .NET 3.5 - 4.6.2, .NET Core, Mono |
F# 4.5 | August 2018[20] | Linux, macOS, Windows, | .NET 4.5 - 4.7.2,[21] .NET Core SDK 2.1.400[22] | |
F# 4.6 | March 2019[23] | Linux, macOS, Windows, | .NET 4.5 - 4.7.2,[24] .NET Core SDK 2.2.300[25] | |
F# 4.7 | September 2019[26] | Linux, macOS, Windows, | .NET 4.5 - 4.8,[27] .NET Core SDK 3.0.100[28] | |
F# 5.0 | November 2020[29] | Linux, macOS, Windows, | .NET SDK 5.0.100[30] | |
F# 6.0 | November 2021[31] | Linux, macOS, Windows, | .NET SDK 6.0.100[32] | |
F# 7.0 | November 2022[33] | Linux, macOS, Windows, | .NET SDK 7.0.100[34] |
Language evolution
F# uses an open development and engineering process. The language evolution process is managed by Don Syme from Microsoft Research as the benevolent dictator for life (BDFL) for the language design, together with the F# Software Foundation. Earlier versions of the F# language were designed by Microsoft and Microsoft Research using a closed development process.
F# originates from Microsoft Research, Cambridge, UK. The language was originally designed and implemented by Don Syme,[5] according to whom in the fsharp team, they say the F is for "Fun".[35] Andrew Kennedy contributed to the design of units of measure.[5] The Visual F# Tools for Visual Studio are developed by Microsoft.[5] The F# Software Foundation developed the F# open-source compiler and tools, incorporating the open-source compiler implementation provided by the Microsoft Visual F# Tools team.[10]
Features added | |
---|---|
F# 1.0 |
|
F# 2.0 |
|
F# 3.0[36] |
|
F# 3.1[37] |
|
F# 4.0[38] |
|
F# 4.1[39] |
|
F# 4.5[29] |
|
F# 4.6 |
|
F# 4.7[40] |
|
F# 5.0[41] |
|
F# 6.0[42] |
|
F# 7.0[43] |
|
Language overview
Functional programming
While supporting object-oriented features available in C#, F# is a strongly typed functional-first language with a large number of capabilities that are normally found only in functional programming languages. Together, these features allow F# programs to be written in a completely functional style and also allow functional and object-oriented styles to be mixed.
Examples of functional features are:
- Everything is an expression
- Type inference (using Hindley–Milner type inference)
- Anonymous functions with capturing semantics (i.e., closures)
- Immutable variables and objects
- Lazy evaluation support
- Higher-order functions
- Nested functions
- Currying
- Pattern matching
- Algebraic data types
- Tuples
- Monad pattern support (called computation expressions[44])
- Tail Call Optimisation[45]
F# is an expression-based language using eager evaluation and also in some instances lazy evaluation. Every statement in F#,
including if
expressions, try
expressions and loops, is a composable expression with a static type.[46] Functions and expressions that do not return any value have a return type of unit
. F# uses the let
keyword for binding values to a name.[46] For example:
let x = 3 + 4
binds the value 7
to the name x
.
New types are defined using the type
keyword. For functional programming, F# provides tuple, record, discriminated union, list, option, and result types.[46] A tuple represents a set of n values, where n ≥ 0. The value n is called the arity of the tuple. A 3-tuple would be represented as (A, B, C)
, where A, B, and C are values of possibly different types. A tuple can be used to store values only when the number of values is known at design-time and stays constant during execution.
A record is a type where the data members are named. Here is an example of record definition:
type R =
{ Name : string
Age : int }
Records can be created as let r = { Name="AB"; Age=42
}. The with
keyword is used to create a copy of a record, as in { r with Name="CD"
}, which creates a new record by copying r
and changing the value of the Name
field (assuming the record created in the last example was named r
).
A discriminated union type is a type-safe version of C unions. For example,
type A =
| UnionCaseX of string
| UnionCaseY of int
Values of the union type can correspond to either union case. The types of the values carried by each union case is included in the definition of each case.
The list type is an immutable linked list represented either using a head::tail
notation (::
is the cons operator) or a shorthand as [item1; item2; item3]
. An empty list is written []
. The option type is a discriminated union type with choices Some(x)
or None
. F# types may be generic, implemented as generic .NET types.
F# supports lambda functions and closures.[46] All functions in F# are first class values and are immutable.[46] Functions can be curried. Being first-class values, functions can be passed as arguments to other functions. Like other functional programming languages, F# allows function composition (computer science) using the >>
and <<
operators.
F# provides sequence expressions[47] that define a sequence seq { ... }
, list [ ... ]
or array [| ... |]
through code that generates values. For example,
seq { for b in 0 .. 25 do
if b < 15 then
yield b*b }
forms a sequence of squares of numbers from 0 to 14 by filtering out numbers from the range of numbers from 0 to 25. Sequences are generators – values are generated on-demand (i.e., are lazily evaluated) – while lists and arrays are evaluated eagerly.
F# uses pattern matching to bind values to names. Pattern matching is also used when accessing discriminated unions – the union is value matched against pattern rules and a rule is selected when a match succeeds. F# also supports Active Patterns as a form of extensible pattern matching.[48] It is used, for example, when multiple ways of matching on a type exist.[46]
F# supports a general syntax for defining compositional computations called computation expressions. Sequence expressions, asynchronous computations and queries are particular kinds of computation expressions. Computation expressions are an implementation of the monad pattern.[47]
Imperative programming
F# support for imperative programming includes
for
loopswhile
loops- arrays, created with the
[| ... |]
syntax - hash table, created with the
dict [ ... ]
syntax orSystem.Collections.Generic.Dictionary<_,_>
type.
Values and record fields can also be labelled as mutable
. For example:
// Define 'x' with initial value '1'
let mutable x = 1
// Change the value of 'x' to '3'
x <- 3
Also, F# supports access to all CLI types and objects such as those defined in the System.Collections.Generic
namespace defining imperative data structures.
Object-oriented programming
Like other Common Language Infrastructure (CLI) languages, F# can use CLI types through object-oriented programming.[46] F# support for object-oriented programming in expressions includes:
- Dot-notation, e.g.,
x.Name
- Object expressions, e.g.,
{ new obj() with member x.ToString() = "hello" }
- Object construction, e.g.,
new Form()
- Type tests, e.g.,
x :? string
- Type coercions, e.g.,
x :?> string
- Named arguments, e.g.,
x.Method(someArgument=1)
- Named setters, e.g.,
new Form(Text="Hello")
- Optional arguments, e.g.,
x.Method(OptionalArgument=1)
Support for object-oriented programming in patterns includes
- Type tests, e.g.,
:? string as s
- Active patterns, which can be defined over object types[48]
F# object type definitions can be class, struct, interface, enum, or delegate type definitions, corresponding to the definition forms found in C#. For example, here is a class with a constructor taking a name and age, and declaring two properties.
/// A simple object type definition
type Person(name : string, age : int) =
member x.Name = name
member x.Age = age
Asynchronous programming
F# supports asynchronous programming through asynchronous workflows.[49] An asynchronous workflow is defined as a sequence of commands inside an async{ ... }
, as in
let asynctask =
async { let req = WebRequest.Create(url)
let! response = req.GetResponseAsync()
use stream = response.GetResponseStream()
use streamreader = new System.IO.StreamReader(stream)
return streamreader.ReadToEnd() }
The let!
indicates that the expression on the right (getting the response) should be done asynchronously but the flow should only continue when the result is available. In other words, from the point of view of the code block, it's as if getting the response is a blocking call, whereas from the point of view of the system, the thread won't be blocked and may be used to process other flows while the result needed for this one doesn't become available.
The async block may be invoked using the Async.RunSynchronously
function. Multiple async blocks can be executed in parallel using the Async.Parallel
function that takes a list of async
objects (in the example, asynctask
is an async object) and creates another async object to run the tasks in the lists in parallel. The resultant object is invoked using Async.RunSynchronously
.[49]
Inversion of control in F# follows this pattern.[49]
Parallel programming
Parallel programming is supported partly through the Async.Parallel
, Async.Start
and other operations that run asynchronous blocks in parallel.
Parallel programming is also supported through the Array.Parallel
functional programming operators in the F# standard library, direct use of the System.Threading.Tasks
task programming model, the direct use of .NET thread pool and .NET threads and through dynamic translation of F# code to alternative parallel execution engines such as GPU[9] code.
Units of measure
The F# type system supports units of measure checking for numbers.[50] The units of measure feature integrates with F# type inference to require minimal type annotations in user code.[51]
Metaprogramming
F# allows some forms of syntax customizing via metaprogramming to support embedding custom domain-specific languages within the F# language, particularly through computation expressions.[46]
F# includes a feature for run-time meta-programming called quotations.[52] A quotation expression evaluates to an abstract syntax tree representation of the F# expressions. Similarly, definitions labelled with the [<ReflectedDefinition>]
attribute can also be accessed in their quotation form. F# quotations are used for various purposes including to compile F# code into JavaScript[8] and GPU[9] code. (Quotations represent their F# code expressions as data for use by other parts of the program while requiring it to be syntactically correct F# code).
Information-rich programming
F# 3.0 introduced a form of compile-time meta-programming through statically extensible type generation called F# type providers.[53] F# type providers allow the F# compiler and tools to be extended with components that provide type information to the compiler on-demand at compile time. F# type providers have been used to give strongly typed access to connected information sources in a scalable way, including to the Freebase knowledge graph.[54]
In F# 3.0 the F# quotation and computation expression features are combined to implement LINQ queries.[55] For example:
// Use the OData type provider to create types that can be used to access the Northwind database.
open Microsoft.FSharp.Data.TypeProviders
type Northwind = ODataService<"http://services.odata.org/Northwind/Northwind.svc">
let db = Northwind.GetDataContext()
// A query expression.
let query1 = query { for customer in db.Customers do
select customer }
The combination of type providers, queries and strongly typed functional programming is known as information rich programming.[56]
Agent programming
F# supports a variation of the Actor programming model through the in-memory implementation of lightweight asynchronous agents. For example, the following code defines an agent and posts 2 messages:
let counter =
MailboxProcessor.Start(fun inbox ->
let rec loop n =
async { do printfn "n = %d, waiting..." n
let! msg = inbox.Receive()
return! loop(n+msg) }
loop 0)
Development tools
- Visual Studio, with the Visual F# tools from Microsoft installed, can be used to create, run and debug F# projects. The Visual F# tools include a Visual Studio-hosted read–eval–print loop (REPL) interactive console that can execute F# code as it is written. Visual Studio for Mac also fully supports F# projects.
- Visual Studio Code contains full support for F# via the Ionide extension.
- F# can be developed with any text editor. Specific support exists in editors such as Emacs.
- JetBrains Rider is optimized for the development of F# Code starting with release 2019.1.[57]
- LINQPad has supported F# since version 2.x.[whose?]
Application areas
F# is a general-purpose programming language.
Web programming
The SAFE Stack is an end-to-end F# stack to develop web applications. It uses ASP.NET Core on the server side and Fable on the client side.[58]
An alternative end-to-end F# option is the WebSharper framework.[59]
Cross-platform app development
F# can be used together with the Visual Studio Tools for Xamarin to develop apps for iOS and Android. The Fabulous library provides a more comfortable functional interface.
Analytical programming
Among others, F# is used for quantitative finance programming,[60] energy trading and portfolio optimization,[61] machine learning,[62] business intelligence[63] and social gaming on Facebook.[64]
In the 2010s, F# has been positioned as an optimized alternative to C#. F#'s scripting ability and inter-language compatibility with all Microsoft products have made it popular among developers.[65]
Scripting
F# can be used as a scripting language, mainly for desktop read–eval–print loop (REPL) scripting.[66]
Open-source community
The F# open-source community includes the F# Software Foundation[10] and the F# Open Source Group at GitHub.[11] Popular open-source F# projects include:
- Fable, an F# to Javascript transpiler based on Babel.
- Paket, an alternative package manager for .NET that can still use NuGet repositories, but has centralised version-management.
- FAKE, an F# friendly build-system.
- Giraffe, a functionally oriented middleware for ASP.NET Core.
- Suave, a lightweight web-server and web-development library.
Compatibility
F# features a legacy "ML compatibility mode" that can directly compile programs written in a large subset of OCaml roughly, with no functors, objects, polymorphic variants, or other additions.
Examples
A few small samples follow:
// This is a comment for a sample hello world program.
printfn "Hello World!"
A Person class with a constructor taking a name and age and two immutable properties.
/// This is a documentation comment for a type definition.
type Person(name : string, age : int) =
member x.Name = name
member x.Age = age
/// class instantiation
let mrSmith = Person("Smith", 42)
A simple example that is often used to demonstrate the syntax of functional languages is the factorial function for non-negative 32-bit integers, here shown in F#:
/// Using pattern matching expression
let rec factorial n =
match n with
| 0 -> 1
| _ -> n * factorial (n - 1)
/// For a single-argument functions there is syntactic sugar (pattern matching function):
let rec factorial = function
| 0 -> 1
| n -> n * factorial (n - 1)
/// Using fold and range operator
let factorial n = [1..n] |> Seq.fold (*) 1
Iteration examples:
/// Iteration using a 'for' loop
let printList lst =
for x in lst do
printfn "%d" x
/// Iteration using a higher-order function
let printList2 lst =
List.iter (printfn "%d") lst
/// Iteration using a recursive function and pattern matching
let rec printList3 lst =
match lst with
| [] -> ()
| h :: t ->
printfn "%d" h
printList3 t
Fibonacci examples:
/// Fibonacci Number formula
let fib n =
let rec g n f0 f1 =
match n with
| 0 -> f0
| 1 -> f1
| _ -> g (n - 1) f1 (f0 + f1)
g n 0 1
/// Another approach - a lazy infinite sequence of Fibonacci numbers
let fibSeq = Seq.unfold (fun (a,b) -> Some(a+b, (b, a+b))) (0,1)
// Print even fibs
[1 .. 10]
|> List.map fib
|> List.filter (fun n -> (n % 2) = 0)
|> printList
// Same thing, using a list expression
[ for i in 1..10 do
let r = fib i
if r % 2 = 0 then yield r ]
|> printList
A sample Windows Forms program:
// Open the Windows Forms library
open System.Windows.Forms
// Create a window and set a few properties
let form = new Form(Visible=true, TopMost=true, Text="Welcome to F#")
// Create a label to show some text in the form
let label =
let x = 3 + (4 * 5)
new Label(Text = $"{x}")
// Add the label to the form
form.Controls.Add(label)
// Finally, run the form
[<System.STAThread>]
Application.Run(form)
Asynchronous parallel programming sample (parallel CPU and I/O tasks):
/// A simple prime number detector
let isPrime (n:int) =
let bound = int (sqrt (float n))
seq {2 .. bound} |> Seq.forall (fun x -> n % x <> 0)
// We are using async workflows
let primeAsync n =
async { return (n, isPrime n) }
/// Return primes between m and n using multiple threads
let primes m n =
seq {m .. n}
|> Seq.map primeAsync
|> Async.Parallel
|> Async.RunSynchronously
|> Array.filter snd
|> Array.map fst
// Run a test
primes 1000000 1002000
|> Array.iter (printfn "%d")
See also
Notes
- ^ "Release 16.8". 10 November 2020. Retrieved 19 March 2023.
- ^ "F# Software Foundation's License". GitHub. 14 October 2021.
- ^ "Microsoft's F# License". GitHub. 16 October 2021.
- ^ a b Syme, Granicz & Cisternino (2007:2)
- ^ a b c d e "F# Historical Acknowledgements". Retrieved 2012-11-24.
- ^ a b Syme, Don (2006). "Leveraging .NET Meta-programming Components from F#".
[F#] is rooted in the Core ML design, and in particular has a core language largely compatible with that of OCaml
- ^ for async
- ^ a b c d e f g h i j k The F# Software Foundation. "Using F# for Web Applications". Retrieved 2020-07-30.
- ^ a b c d e f g h i j k l The F# Software Foundation. "Using F# for GPU Programming". Archived from the original on 2019-12-25. Retrieved 2019-12-25.
- ^ a b c The F# Software Foundation. "The F# Software Foundation". Retrieved 2012-11-24.
- ^ a b The F# Software Foundation. "F# Compiler (open source edition) @ github". Retrieved 2012-11-24.
- ^ "Develop with Visual F# in Visual Studio". Retrieved 2020-07-30.
- ^ "F#". Retrieved 2020-07-30.
- ^ Syme, Don. "F# 1.0.8 released". Microsoft. Retrieved September 7, 2014.
- ^ Syme, Don. "F# 2.0 released as part of Visual Studio 2010". Microsoft. Retrieved September 7, 2014.
- ^ Zander, Jason. "Visual Studio 2012 and .NET Framework 4.5 released to the web". Microsoft. Retrieved September 7, 2014.
- ^ "Visual Studio 2013 released to web". Microsoft. Retrieved September 7, 2014.
- ^ "Announcing the RTM of Visual F# 4.0". Microsoft. Retrieved September 15, 2015.
- ^ "Announcing F# 4.1 and the Visual F# Tools for Visual Studio 2017". Retrieved 2017-03-08.
- ^ "Announcing F# 4.5". Microsoft. 14 August 2018. Retrieved August 14, 2018.
- ^ "FSharp.Core 4.5.0".
- ^ "Download .NET Core 2.1 (Linux, macOS, and Windows)". Microsoft. Retrieved May 13, 2021.
- ^ "Announcing F# 4.6". Microsoft. 29 March 2019. Retrieved March 29, 2019.
- ^ "FSharp.Core 4.6.0".
- ^ "Download .NET Core 2.2 (Linux, macOS, and Windows)". Microsoft. Retrieved May 13, 2021.
- ^ "Announcing F# 4.7". Microsoft. 23 September 2019. Retrieved September 23, 2019.
- ^ "FSharp.Core 4.7.0".
- ^ "Download .NET Core 3.0 (Linux, macOS, and Windows)". Microsoft. Retrieved May 13, 2021.
- ^ a b "Announcing F# 5". November 10, 2020.
- ^ "Download .NET 5.0 (Linux, macOS, and Windows)". Microsoft. Retrieved May 13, 2021.
- ^ "F# 6 is officially here!". November 9, 2021.
- ^ "Download .NET 6.0 (Linux, macOS, and Windows)". Microsoft. Retrieved November 14, 2021.
- ^ "Announcing F# 7". November 8, 2022.
- ^ "Download .NET 7.0 (Linux, macOS, and Windows)". Microsoft. Retrieved November 8, 2022.
- ^ Edwards, Kathryn (23 December 2008). "The A-Z of programming languages: F#". networkworld.com. IDG. Archived from the original on 13 November 2018. Retrieved 8 August 2016.
- ^ McNamara, Brian. "More About F# 3.0 Language Features". Microsoft. Retrieved September 7, 2014.
- ^ McNamara, Brian. "Announcing a pre-release of F# 3.1". Microsoft. Retrieved September 7, 2014.
- ^ "Announcing the RTM of Visual F# 4.0". Retrieved 2017-03-08.
- ^ "Announcing F# 4.1 and the Visual F# Tools for Visual Studio 2017". Retrieved 2017-03-08.
- ^ "Announcing F# 4.7". 23 September 2019.
- ^ "Announcing F# 5". 10 November 2020.
- ^ "What's new in F# 6 - F# Guide".
- ^ "Announcing F# 7".
- ^ "F Sharp Programming/Computation Expressions - Wikibooks, open books for an open world". en.wikibooks.org. Retrieved 2022-01-21.
- ^ kexugit. "Tail calls in F#". docs.microsoft.com. Retrieved 2022-04-22.
- ^ a b c d e f g h "F# Language Overview" (PDF). Retrieved 2007-12-14.
- ^ a b "Some Details on F# Computation Expressions". Retrieved 2007-12-14.
- ^ a b "Pattern Matching in F# Part 2 : Active Patterns". Archived from the original on 2012-12-09. Retrieved 2012-11-24.
- ^ a b c "Introducing F# Asynchronous Workflows". Retrieved 2007-12-14.
- ^ "Units of Measure (F#)". Retrieved 2012-11-24.
- ^ "Units of Measure in F#: Part One, Introducing Units". Retrieved 2012-11-24.
- ^ "Code Quotations (F#)". Retrieved 2012-11-24.
- ^ "Type Providers". Retrieved 2012-11-24.
- ^ "New Tech Report from Microsoft Research: Strongly-Typed Language Support for Internet-Scale Information Sources". Retrieved 2012-11-24.
- ^ "Query Expressions (F#)". Retrieved 2012-11-24.
- ^ "F# 3.0 – LINQ + Type Providers= Information Rich Programming". Retrieved 2012-11-24.
- ^ Alexander Kurakin. "Rider 2019.1 Kicks off its Early Access Program!".
- ^ "Fable: JavaScript you can be proud of!". fable.io. Retrieved 2017-12-09.
- ^ Intellifactory. "WebSharper home". Retrieved 2012-11-24.
- ^ "Microsoft Case Studies:Microsoft Visual Studio 2012 - Financial Services Firm". Microsoft. Retrieved 2012-11-25.
- ^ "F# for Energy Trading and Portfolio Optimization". Retrieved 2012-11-25.
- ^ "Microsoft Case Study: Grange Insurance". Microsoft. Retrieved 2012-11-25.
- ^ Trelford, Phil (2007). "Learning with F#". Proceedings of the 4th ACM SIGPLAN workshop on Commercial users of functional programming - CUFP '07. Cufp '07. pp. 1–2. doi:10.1145/1362702.1362709. ISBN 9781450378444. S2CID 24018363. Retrieved 2012-11-25.
- ^ "F# Job in Facebook Social Gaming". Retrieved 2012-11-25.
- ^ "F# Developer Testimonials". Retrieved May 25, 2021.
- ^ "Scripting in F#". Retrieved 2020-01-17.
References
- Syme, Don; Granicz, Adam; Cisternino, Antonio (2007), Expert F#, Apress
- Harrop, Jon (2010), Visual F# 2010 for Technical Computing, Flying Frog Consultancy
- Pickering, Robert (2007), Foundations of F#, Apress
- Smith, Chris (2009), Programming F#, O'Reilly
- Petricek, Tomas (2009), Real World Functional Programming With Examples in F# and C#, Manning Publications
- Hansen, Michael; Rischel, Hans (2013), Functional Programming Using F#, Cambridge University Press
- Astborg, Johan (2013), F# for Quantitative Finance, Packt Publishing
- Lundin, Mikael (2015), Testing with F#, Packt Publishing
External links
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/df/Wikibooks-logo-en-noslogan.svg/40px-Wikibooks-logo-en-noslogan.svg.png)
- Official website The F# Software Foundation
- The F# Open Source Group at GitHub
- The Visual F# Developer Center Archived 2008-11-19 at the Wayback Machine
- Tsunami, an embeddable desktop F# IDE
- Cloud Tsunami, an embeddable Silverlight F# IDE
- Try F#, for learning F# in a web browser
- F# Snippets Site
- The Visual F# team blog
- The original Microsoft Research website for F#
- Planet F#
- The F# Survival Guide, Dec 2009 (Web-based book)
- The F# Language Specification
- An introduction to F# programming Archived 2011-07-13 at the Wayback Machine
- A tutorial showing the process of reaching a functional design; includes test and parallel coding
- .NET programming languages
- Cross-platform free software
- Functional languages
- Microsoft free software
- Microsoft programming languages
- Microsoft Research
- ML programming language family
- OCaml programming language family
- Pattern matching programming languages
- Programming languages created in 2005
- Programming languages supporting units of measure
- Software using the Apache license
- Software using the MIT license
- Statically typed programming languages