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