Puedes poner la clausula #light al principio de cada archivo de código. Esto hace que lo escrito en ese archivo permita una sintaxis más olgada, ya que por defecto F# es compatible con OCaml y este tiene una sintaxis muy restrictiva.
Para F# es importante el espaciado, es decir, los espacios tendrán relevancia en el código ya que código verticalmente alineado está considerado semánticamente relacionado.
Los comentarios serán…

// This is a single-comment. Everything from the start is treated as a comment.
(* This is a
multiline comment *)
/// This is a doc comment that can be converted to useful documentation.

En F# cada “comando” de código es una expresión, esto significa que todo comando genera un valor de un tipo de datos concreto.

El comando open sería el equivalente a using de C#, open importa un namespace de una librería .NET (y, como en C#, necesitas hacer referencia a la DLL correspondiente).

Por defecto se agregan los siguientes namespaces: Microsoft.FSharp.Core (tipado de datos), Microsoft.FSharp.Core.Operators (operadores), Microsoft.FSharp.Collections (colecciones), Microsoft.FSharp.Control (construcciones de lazy evaluation y flujos asíncronos), Microsoft.FSharp.Text (funciones de IO).

Te permite evaluar expresiones de F#, es el ejecutable fsi.exe (con mono es fsharpi). Sobre esta podemos lanzar comandos como…

printfn "Hello world!";;
#r "System.Web.dll";;

La consola evaluará el código una vez se introduzcan dos puntos y coma: ;;.

Es el “fsc.exe”.

• Para la instalación en otros operativos distintos a Windows: http://fsxplat.codeplex.com/
• Para la instalación de la extensión de MonoDevelop: http://functional-variations.net/monodevelop/

Los datos en F# no se asignan sino que se enlazan. Esto significa que al hacer:

let x = 3

Se enlaza x con el símbolo o, en este caso, valor numérico 3, si luego se volviese a enlazar con otro valor el 3 quedaría abandonado y a la espera del garbage colector.
let soporta la asignación múltiple:

let a, b = 100, 200     // a=100, b=200
let x, y, z = 5, 4, 3   // x=5, y=4, z=3

F# soporta el tipo void para interoperar con otros lenguajes .NET y el tipo unit expresado como: (). El tipo unit significa “ningún valor” (sí, como el void).
Aunque F# puede indicar automáticamente el valor de una variable, es posible que queramos especificar el tipo de resultado mediante el nombre de este:

let a = float32 100;;
let a = float32(100);; // El uso de paréntesis es opcional.

Otra forma de indicar el tipo que puede coger una variable es la siguiente (si no lo indicásemos asignaría un float):

let a : double = 100.;

Generalmente al cambiar el dato al que apunta lo que ocurre es que se crea uno nuevo y se enlaza este, pero para indicar que una variable es alterable usamos la palabra mutable; luego, para actualizar el valor utilizaremos <-:

let mutable x = 123
x <- 456

Un número, como por ejemplo 100, es interpretado como un integer de 32 bits, si queremos que sea un short escribiríamos 100s. Los tipos de datos que existen son: La forma de expresar números es:

1. Hexadecimal: mediante el prefijo 0x: 0x7F.
2. Octal: un cero seguido de una 'o' minúscula: 0o103.
3. Binario: un cero seguido de una 'b': 0b1001.

Podemos definir unidades de medida:

[<Measure>] type  m   (* meters *)
[<Measure>] type s   (* seconds *)

> let distance = 123.5<m>                // using meters           
- let time = 5.0<s>                      // using seconds
- let speed = distance / time;;          // mixing units
val distance : float<m> = 123.5
val time : float<s> = 5.0
val speed : float<m/s> = 24.7

F# PowerPack (FSharp.PowerPack.dll) es una librería de Microsoft con medidas predefinidas.

• printfn funciona igual que String.Format:

let city = "Boston"
let temp = 63.5
printfn "The mean temperature for %s is %f" city temp // Imprimirá: The mean temperature for Boston is 63.500000