これまでに見てきたように、F#は「型推論」という技術を使用して、通常のコードで明示的に指定する必要のある型注釈の数を大幅に減らしています。さらに、型を指定する必要がある場合でも、C#と比べて構文がより簡潔です。

これを示すために、標準的なLINQ関数を二つラップするC#のメソッドを見てみましょう。実装は単純ですが、メソッドのシグネチャは非常に複雑です：

public IEnumerable<TSource> Where<TSource>(
    IEnumerable<TSource> source,
    Func<TSource, bool> predicate
    )
{
    //標準のLINQ実装を使用
    return source.Where(predicate);
}

public IEnumerable<IGrouping<TKey, TSource>> GroupBy<TSource, TKey>(
    IEnumerable<TSource> source,
    Func<TSource, TKey> keySelector
    )
{
    //標準のLINQ実装を使用
    return source.GroupBy(keySelector);
}

そして、これらと全く同じF#の等価コードを見てみましょう。型注釈が全く必要ないことがわかります！

let Where source predicate = 
    //標準のF#実装を使用
    Seq.filter predicate source

let GroupBy source keySelector = 
    //標準のF#実装を使用
    Seq.groupBy keySelector source

型推論アルゴリズムは、多くの情報源から情報を収集して型を決定するのに優れています。次の例では、 list の値が文字列のリストであることを正しく推論しています。

let i  = 1
let s = "hello"
let tuple  = s,i      // タプルにパック   
let s2,i2  = tuple    // アンパック
let list = [s2]       // 型は string list

そして、この例では、 sumLengths 関数が文字列のリストを受け取り、整数を返すことを正しく推論しています。

let sumLengths strList = 
    strList |> List.map String.length |> List.sum

// 関数の型は: string list -> int