型略称 (F#)
型略称は、型の別名または代替名です。
type type-abbreviation = type-name
解説
型略称を使用して、コードを読みやすくするために型にわかりやすい名前を付けることができます。記述が面倒な型に対しては、使いやすい名前を作成することもできます。また、型略称を使用すると、基になる型を簡単に変更できるので、その型を使用するすべてのコードを変更する必要がなくなります。単純な型略称を次に示します。
type sizeType = uint32
型略称には、次のコードに示すように、ジェネリック パラメーターを含めることができます。
type transform<'a> = 'a -> 'a
前のコードでは、transform が型略称です。これは、任意の型の 1 つの引数を受け取り、その同じ型の 1 つの値を返す関数を表します。
型略称は、.NET Framework の MSIL コードでは保持されません。したがって、別の .NET Framework 言語から F# アセンブリを使用する場合は、型略称の基になる型の名前を使用する必要があります。
型略称は、測定単位で使用することもできます。詳細については、「測定単位 (F#)」を参照してください。