Over a million developers have joined DZone.
Refcard #081

Essential F#

The Best Parts of F#

Written by

Chance Coble Partner, A6 Systems, LLC
Ted Neward Principal, Neward & Associates

Learn to use this .NET programming language with both functional and object-oriented features to create some mind-bending code.

Free PDF
Section 1

About F#

F# is Microsoft's most recent language for the .NET platform. Developers who learn to take advantage of this new language's functional and object-oriented features will find new productivity gains and new programming design approaches not easily expressed in "just" objects alone. While functional programming can lead to some mind-bending coding, the basics are quite straightforward and should take little time to master. Functional programming is characterized by concise coding style and explicit modeling of behavior. Because F# also offers a rich set of object oriented features, its integration with other .NET languages such as C# and VB is nearly seamless.

Section 2

Getting Started

F# is available from the Microsoft F# Developer Center (http://msdn.microsoft.com/en-us/fsharp/default.aspx) if it is not already installed in your version of Visual Studio. It runs on any version of .NET after 2.0.

F# Hello World looks like this:

System.Console.WriteLine("This is one hello")
printfn "This is another hello"

Compile this file (hello.fs) with the command-line fsc.exe to produce a .NET assembly:

fsc hello.fs

This produces hello.exe, which can be executed in the usual fashion.

Hot Tip

F# is a compiled .NET language, but can also be run as a script interactively. Fire up the F# interactive session (Under the View menu in Visual Studio or "fsi.exe" in your F# installation bin directory). Add two semi-colons "::" to terminate your interactive expressions.

The "#light" syntax is an artifact of earlier F# versions and will be removed in a future version of the language. The "System.Console.WriteLine" call is the .NET Base Class Library at work. The "printfn" is an F# function that ultimately does the same thing: prints to the console.

Section 3

Language Syntax

F# is a combination of both functional and object-oriented programming styles. As such, to the C# or Visual Basic

programmer, it can at times seem strikingly similar yet entirely foreign.

F# programs are written as composed expressions, as opposed to a series of imperative statements in C#/VB. Each expression can be named (via the "let" keyword), and referenced as such:

let files = System.IO.DirectoryInfo(@"C:\Users\Chance").GetFiles()

This defines the "files" name to a value, in this case an array of FileInfo objects. The actual type of "files" needn't be specified, since the language will infer it from the value returned from the right-hand side.

Hot Tip

Types in F# are inferred statically by the compiler. If you are using a file editor in Visual Studio, hold your mouse over any value to see its inferred type.

Section 4

Type Inference

We refer to the type of a value being inferred because a compile-time process attempts to figure out the types of values on its own, and in the process verify the program is type safe. Type annotations (in the form v:t, meaning v of type t) are not as necessary in a language with type inference, even though the language is still strongly typed.

Generics, which will be familiar to both .NET and Java developers, have taken on an even greater role in F# because of type inference. Notice that for any expressions without type annotations the compiler can just assume generic types. For example, the function below can be genericized to have the

following type signature, even though it does not contain any type annotations from the programmer.

let f x =
let y = g x
h y

let f (x:'a) : 'b =
let y:'c = (g:'a->'c) x
(h:'c->'b) y

The compiler does something similar to that labeling automatically. From the generic labeling, determinations can already be made about the types of these functions (assuming the expression is strongly typed). First, notice f and h must yield the same type ('b). Second, the argument f is applied to must be the same type to which g is applied ('a). Using small hints like these, the compiler is often able to completely determine the types in a program with little assistance from the programmer.

Most of type inference in F# can be boiled down to two rules. First, if a function is applied to a value then the compiler may assume that value is the type the function requires. Second, if a value is bound to the result of an expression, then that value is the type the expression yields.

There are a few times when these simple rules aren't quite enough and type annotations must be added to assist the compiler. For example, when arithmetic operators are used, F# is careful not to cast one numeric type to another without explicit instructions from the programmer. That way type inference does not become a burden to intensively numerical computing.

Declare/update mutable valuelet mutable x = 0 x <- x + 1Declare/update ref valuelet x = ref 0 x := !x + 1

Another example is in method overloading. The Write method in System.Console for example has about 18 overloads. Type inference may determine the type that is passed to it, but cannot determine a value's type in the other direction. That information is required by the overloaded method to select the proper logic to dispatch for the method.

Type inference does not just aide concise notation in the face of static typing, it is also a helpful check on functional programs. When you write a piece of code, and intellisense indicates they all have the proper type, it is one more indication that gross errors were not introduced into the program. Using this tool, F# gets much of the concise notation usually only available in dynamic languages while still maintaining a fully static type system.

Basic Syntax

The "let" expression is at the core of F#'s functional syntax, and is used in a variety of ways: defining a function, defining a sequence, and so on. F# uses significant whitespace to mark block beginnings and endings.

Define any valuelet x = 2Define a function valuelet f a = a + xDefine a recursive function

open System.IO
let rec printSubDirFiles dir =
   let files = Directory.GetFiles dir
   let dirs = Directory.GetDirectories dir
   printf "%s\n%A\n\n" dir files
   Array.iter printSubDirFiles dirs

Anonymous functionfun x -> Console.WriteLine (x.ToString())

The language also provides traditional imperative looping and iteration constructs, such as "if", "for" and "while". Note that "if/then" and "if/then/else" are slightly different from traditional O-O languages, in that they, like most F# expressions, must yield a value, and so both sides of the "if/then/else" must result in the same type of value.

if/thenif x=10 then printf "Was 10\n"if/then/elseif x=10 then "Was 10\n" else "Was not 10\n"For loopfor x in xs do printf "%s" x.ToString()While loop

let ls =
while (ls.Count<10) do

Like most .NET languages, F# also provides some mechanism for organizing code; in fact, F# provides two, modules and namespaces, the latter acting the same way as C#/VB namespaces. Modules provide not only lexical scoping, but also space for module-level values, such as constants, fields and functions.

Basic Code Organization: namespaces, types and modules

namespace MyFSharpProg
open System.Net
type Foo () =
  member x.GetRequest = WebRequest.Create
 module Main = begin
// values and functions here

While most identifiers in F# are immutable, in accordance with traditional functional programming principles, F# permits the definition and modification of values using the "mutable" keyword, or by taking the reference of the value in question by preceding the value with "ref". Assignment to mutable values is done using the left-hand arrow operator ("<-"). Assignment to "ref" values is done with the ":=" operator. Obtaining the value of a "ref" value uses the "!" operator.

Declare/update mutable valuelet mutable x = 0 x <- x + 1Declare/update ref valuelet x = ref 0 x := !x + 1

Function Composition

Because programs are built as composed expressions, the sequence of program logic is typically defined through function composition. Arguments to a function are evaluated prior to the function body, making programming by composition intuitive for programmers coming from a C#/VB/Java background.

Operators such as >> (for function chaining) and |> (for value piping) allow programmers to chain composed functions together in the same order in which they will be evaluated.

Composing functions to sum 5 largest array values

let sumLargestFive:int array->int =
    < Array.rev
    <fun a -> Array.sub a 0 5

Composing functions starting with a value (piping)

let tabAndWrite (s:string) =
    |> (+) "\t"
    |> Console.WriteLine

Functional Types and Data Structures

F# also defines tuples and records, which are simple datacentric constructs useful in situations where full-blown objects would be overkill.

Discriminated unions are similar in concept to enumerated types from C# and Visual Basic, representing a bound set of values; however, discriminated unions can incorporate multiple kinds of types, including tuples and collections. Functional code will make heavy use of all three (tuples, records, and discriminated unions).


Data rich programming always involves dealing with (often large) collections of information from the filesystem, database, network or other sources. Three tools in F# make this considerably easier than other programming paradigms and languages.

tupleslet (name,value) = ("Two",2)record typestype Person = {name:string;age:int}let p = { name="Bob";age=20 }discriminated unions

type WebTree =
  | Page of string * WebTree
  | Address of string

Collection generators provide an easy way to create sets of data without involving a loop. Generators are available for lists, arrays, or IEnumerables (called "seq" in F#), using the [start.. finish] style syntax. In the case of arrays, the [start..finish] syntax can be used on an existing array index to "slice" the array into a new one with the given range.

Pattern matching

let rec listFromWebTree wt =
 match wt with
   | Page(url,subTree) ->
      url : listFromWebTree subTree
   | Address(url) -> [ url ]
Pattern matching on lists (naming the head and tail with "::")

let rec containsZero ls = function
  | first::rest -> if first=0 then true
             else containsZero rest
  | [] -> false
Pattern matching with constants

let startsWithZero ls = function
  | 0::rest -> true
  | ls -> false
Pattern matching with when and _

let startsWithZero ls = function
  | first::rest when first=0 -> true
  | _ -> false

Sequence expressions result in an IEnumerable that can be consumed by any other language on the .NET platform, and are ideal for lazy collection generation or evaluation. They often use a pattern of the form "seq { for x in col do, yield x done }" to transform collections into their evaluated result sets. Finally, higher order functions (e.g. map, fold, reduce and sum) allow programmers to ditch boiler plate code around collection processing and just pass the body of the iterator to a function. The body is often passed as an anonymous function.

List defined in 2 different ways

[ 1..10] =
       (fun x -> x / 2)
        [for x in 1..10 -> x*2]
Array defined in 2 different ways

[|2..2..20|] =
   Array.map ((*) 2)
     [|for x in 1..10 -> x|]
Array slicing (0 to 9 and 10 to end)

Sequence Expression (piped into iterator

   let dirs =
     System.IO.Directory.GetFiles @"C:\"
   for x in dirs do
      yield x }
|> Seq.iter (printf "%s\t")
Higher order multiply by 10, sum and print

|> List.map (fun x -> x * 10)
|> List.reduce (fun s x -> s + x)
|> printfn "%d"

Pattern Matching

Another core construct in the language is pattern-matching, given by the "match" keyword and a series of expressions to match against; with this construct, combined with recursion, F# is able to create stack-centric, thread-friendly versions of traditional looping code:

let rec factorial n =
  match n with
  | 0 -> 1
  | v -> v * factorial(v-1)

Each case is demarcated by a new vertical "pipe" character, and the result by the right-hand side of the "->". Note that the match clause can introduce new local bindings ("v" in the example), which will be populated for use in the expression evaluation. Pattern matching can also include "guard" expressions, given by "when"clauses. More forms are given in the F# spec.

Pattern matching

let rec listFromWebTree wt =
  match wt with
    | Page(url,subTree) ->
           url :: listFromWebTree subTree
    | Address(url) -> [ url ]
Pattern matching on lists (naming the head and tail with "::")

let rec containsZero ls = function
  | first::rest -> if first=0 then true
             else containsZero rest
  | [] -> false
Pattern matching with constants

let startsWithZero ls = function
  | 0::rest -> true
  | ls -> false
Pattern matching with when and _

let startsWithZero ls = function
  | first::rest when first=0 -> true
  | _ -> false
More Pattern matching with _

let startsWithZero ls = function
  | 0::_ -> true
  | _ -> false


F# allows developers to trap exceptions thrown by methods

that are called, as well as generate exceptions when desired. There are shortcut functions (e.g. "failwith") defined that provide a concise way to generate exceptions with custom messages.

Using the try/with syntax, developers can use the pattern matching syntax to check the type of the exception and invoke the appropriate logic.

Try catch with pattern match on type of exception

open System.IO
| :? DirectoryNotFoundException as ex
     -> "Dir does not exist"
| ex -> ex.Message
always run code after exception block

  printf "Always run this\n"
Function to throw FailureExceptionfailwith "Operation Failed"

OOP in F#

F# is a full object-oriented language in the .NET ecosystem, meaning it knows not only how to use but also how to define new class types with the full range of O-O features: fields, methods, properties, events, interfaces, inheritance, and so on.

Defining a simple class type:

type Person(fn:string,ln:string,a:int) =
    member p.FirstName = fn
    member p.LastName = ln
    member p.Age = a
    override p.ToString() =
        String.Format("{0} {1})",
            p.FirstName, p.LastName)

The constructor is in the type declaration line, and that type is intrinsically immutable (that is, the properties FirstName, LastName and Age all have get access but not set). This is in line with traditional functional principles. To create mutable members, the F# "mutable" keyword must appear on the member to be mutable, and the explicit "get" and "set" members for each property must be established.

Types in F# can inherit from base classes or interfaces, using the "override" keyword to override inherited members:

type Student(fn:string,ln:string,a:int)=
inherit Person(fn, ln, a)
override s.ToString() = ...

F# can also create object expressions, which are anonymously-defined types that inherit from an existing class or interface; in many cases, this will be much quicker and easier than creating a new type.

Classes and Object Expression

Class definition

type AccessCounter() =
let mutable i = 0
member me.Access () = i <- i + 1
member me.Count
with get () = i
set v = i <- v
Multiple constructors

type Person
   (fn:string,ln:string,age:int) =
new (age:int) =
member p.FirstName = fn
member p.LastName = ln
member p.Age = age
override p.ToString() =
 String.Format("{0} {1})",
p.FirstName, p.LastName)
Abstract methods for an interface and its construction

type Shape =
   abstract Area: unit -> float
type Rectangle(l,w) =
  interface Shape with
    member me.Area () = l * w
Abstract methods for an abstract class and its construction

type Shape(nm:string) =
   member me.Name = nm
   abstract Area : unit -> float
type Rectangle(l,w) =
   inherit Shape("Rectangle")
   override me.Area() = l * w
Augmenting Record types with methods

type PersonRec =
me.AgePlusOne = me.age + 1
Augmenting Discriminated Unions with methods

type PersonKinds =
  | Male of Person
  | Female of Person
    member me.AgePlusOne =
      match me with
      | Male p -> p.Age + 1
      | Female p -> p.Age + 1
Instantiating the type and applying the method

(Male (Person("John","Doe",24)))
Augmenting existing types with methods

type Person
    member x.AgePlusOne = x.Age + 1
Object expression

let dirty =
   { new System.IDisposable with
     member me.Dispose() = () } // clean up

F# Expressions

Below is a table of F# expressions for reference. Some of these can be typed into the interactive shell. Feel free to fire up the interactive shell and type these in yourself.

Type Notation

valuex : intfunction that is applied to an int, and yields an intf:(int -> int)function in a functionmap:('a->'b)->'a list->'b listgenericsf:'a -> 'bannotate an argumentlet toStr (x:int) = x.ToString()

F# Interactive Commands

Reference a dll#r#r "System.Windows.Forms";;Load an F# code file#load#load "Module.fs";;Add a directory to the search path#I#I @"c:\lib";;Refer to the last yielded result from an expressionitprintf "%O\n" itTime the evaluation of an expression#time

Real: 00:00:00.028, CPU: 00:00:00.015, GC gen0: 1, gen1: 0, gen2:0

Units of Measure

Declare a Unittype [<Measure>] seconds type [<Measure>] metersManipulate unit values

let velocity
      (t:float<seconds>) =
           d / t
Break the unit

type [<Measure>] inches
velocity 5.0<inches>

Async Combinators

Used to create and manipulate async expressions.

Build an async expression using the continuations for continue, cancel and exceptionAsync.Primitive (con,can,exn)Build an async expression using the begin and end methods providedAsync.BuildPrimitive (b,e)Yield an async expression that, when executed, runs the sequence of async expressions in parallel and yields an array of resultsaExprs|> Async.Parallel|> printf "%A\n"Fork the expressionlet! child = Async.StartChild aExprFork the expression and yield a threading task that executes the operation.let! tsk = Async.StartChildAsTask aExprManipulate the current threadsync.SwitchToGuiThread Async.SwitchToNewThread Async.SwitchToThreadPool

Async Expression Execution

Run the computation of type Async<T> and yield the TAsync.RunSynchronously aExprProvide three continuations for continue, exception and cancellation to be evaluated when the expression yields a result

Fire and Forget in the thread poolAsync.StartYield a Threading Task that executes the computationAsync.StartAsTaskApply a function to every element of a sequence in parallel

let aMap f xs =
    (fun x -> async {return f x})
  |> Async.Parallel

Active Patterns

Notice that the Active Pattern creates a function view on an object oriented architecture. The point of this approach is to marry functional languages on top of existing object oriented architectures and class libraries. The combination of views on the objects that result in functional types, and pattern matching can make functional programming on an object oriented framework more readable and clear. The approach

also encourages object oriented extensions where they make sense to existing functional architectures while minimizing clutter.

Defining Patterns

let (|Xml|NoXml|)
      (doc:XmlDocument) =
  if doc.InnerXml = ""
  then NoXml
  else Xml(doc.InnerXml)
Matching Active Patternsmatch xml with | NoXml -> printf "Doc was empty!" | Xml(xml) -> printf "%O" xmlPartial (Incomplete) Active Patterns that read a set of file contents and yield different types, depending on the specific views of the object

open System.IO
let (|NoFiles|_|) (fs:FileInfo []) =
  if fs.Length=0 then Some ()
  else None
let (|TooManyFiles|_|) n
           (fs:FileInfo []) =
  if fs.Length > n then Some ()
  else None
 let (|FilesContents|_|)
   maxReadSize (fs:FileInfo [])
     :byte array array option=
   let buff =
      Array.create maxReadSize 0uy
   |> Array.map
       (fun file ->  
            let len =
 |> Array.map
    (fun (len,contents) ->
       (fun i -> contents.[i]))
 |> Some
Pattern matching piece to consume the active pattern setup above

let processFiles =
  match files with
  | TooManyFiles 50 () -> ">>oh no!"
  | NoFiles () -> "0 Oh no!"
  | FilesContents 1000 fs ->
      "Got "
       + fs.Length.ToString()
       + " files"

Error Messages

Included below are some common error messages with F#. The areas that tend to trip up people beginning F# are usually exacerbated by misunderstanding the error messages. But a clear understanding of these error messages makes your F# programming a cinch. If one of these messages pops up when you are trying to compile, or drop some code in the interactive session then use the reference below to clarify the problem. The first column of the table describes the problem, the second column is the error message reference, and the third column gives examples for recreating the error.

F#'s type system does 
not automatically cast 

This expression 
has type
but is here used 
with type

let add x y = x + y
let isum = 1 + 1
let fsum = 1.0 + 1.0

Values should be 
eventually typed
through inference, 
or annotation (i.e. 
generic types can't be 

restriction. The 
value 'x' has 
been inferred 
to have generic 

let rec f x = f x
let id x = x
let arr =

Different type 
Expression is typed as 
'b, but 'a was put in 
the code

This expression
has type 
but here is used
with type

let printStr = 
   printf "%s" 
printStr 10

Incomplete Pattern
Match Warning 
(unhandled patterns 

on this 

match x with
| 1 -> "Was one"
| 2 -> "Was two"
// The wildcard _ can
// fix this

Overloaded functions 
often require type 
annotations to select 
the correct method call

The method 
'Write' is 

open System
let print s =
   Console.Write s

F# Resources


F# - Downloads


Microsoft F# Developer Center


F# Samples



  • Featured
  • Latest
  • Popular
The Ultimate Scrum Reference Card
Provides a concise overview of roles, meetings, rules, and artifacts within a Scrum organization. Updated for 2016.
72.5k 195.8k
AMQP Essentials
Practical introduction to AMQP — a binary, multiplexed, symmetric, secure, and lightweight message transport protocol designed for enterprise applications and particularly useful for IoT.
5,136 3,886
Core .NET
Snapshot of the modern .NET Framework from 30,000 feet, plus deep dive into .NET types, portable class libraries, encodings, and asynchronous programming.
40.4k 140.6k
React.js Essentials
Gives you the essentials of React.js, from the architecture to the virtual DOM, from building components to styling them.
7,468 6,276
SQL Syntax for Apache Drill
Acquaints you with the agility and flexibility of Apache Drill and enables you to easily query non-relational datastores, including Hadoop. Discover the benefits of data agility and gain faster insights into BI and analytics through advanced SQL queries on massive datasets.
4,639 9,401
Until recently, highly concurrent programs were the sole province of hardcore network programmers, but now any JavaScript-savvy web developer can write the same kinds of highly concurrent programs quickly and easily.
52.1k 89.2k
Getting Started With Industrial Internet
Introduces basic concepts and technologies of the Industrial Internet, including sensors and actuators, industrial control systems, human-machine interfaces, real-time streaming data, device security, and more.
4,280 4,461
Getting Started With Docker
Teaches you typical Docker workflows, building images, creating Dockerfiles, and includes helpful commands to easily automate infrastructure and contain your distributed application.
13.3k 14.7k
Getting Started With Real User Monitoring
Teaches you how to use new web standards—like W3C’s Beacon API—to see how your site is performing for actual users, letting you better understand how to improve overall user experience.
5,505 7,476
Core Java
Gives you an overview of key aspects of the Java language and references on the core library, commonly used tools, and new Java 8 features.
108.7k 277.3k
JavaFX 8
Gives you what you need to start using the powerful JavaFX 8 UI and graphics tool with code snippets and visual examples of shapes and controls.
8,284 14.8k
Continuous Delivery With Jenkins Workflow
Provides an introduction to the Jenkins Workflow plugin, a tool that extends the popular CD application to manage even the most complex software pipelines and help you continuously deliver more efficiently.
10.5k 19.8k
{{ card.title }}
{{card.downloads | formatCount }} {{card.views | formatCount }}

{{ parent.title || parent.header.title}}

{{ parent.tldr }}

{{ parent.urlSource.name }}