F#
静的に解決された型のパラメータ

構文

• sは、コンパイル時に受け入れる^aインスタンスです。これは、構文を使用して実際に呼び出すメンバを実装するものであればどれでもかまいません。
• ^aは'a （または'Aや'T 'Aようなジェネリックに似ていますが、これらはコンパイル時に解決され、メソッド内の要求されたすべての用途に合ったものを許可します。 （インターフェイスは必要ありません）

長さメンバーを持つものの簡単な使い方

let inline getLength s = (^a: (member Length: _) s)
//usage:
getLength "Hello World" // or "Hello World" |> getLength
// returns 11

クラス、インタフェース、レコードの使用

// Record
type Ribbon = {Length:int}
// Class
type Line(len:int) = 
    member x.Length = len
type IHaveALength =
    abstract Length:int

let inline getLength s = (^a: (member Length: _) s)
let ribbon = {Length=1}
let line = Line(3)
let someLengthImplementer =
    { new IHaveALength with
        member __.Length = 5}
printfn "Our ribbon length is %i" (getLength ribbon)
printfn "Our Line length is %i" (getLength line)
printfn "Our Object expression length is %i" (getLength someLengthImplementer)

静的メンバーコール

これはGetLengthという名前のメソッドを持つ型を受け入れ、何もGetLengthずにintを返します：

((^a : (static member GetLength : int) ()))