A type abbreviation is an alias or alternate name for a type.
type type-abbreviation = type-name
You can use type abbreviations to give a type a more meaningful name, in order to make code easier to read. You can also use them to create an easy to use name for a type that is otherwise cumbersome to write out. Additionally, you can use type abbreviations to make it easier to change an underlying type without changing all the code that uses the type. The following is a simple type abbreviation.
type SizeType = uint32
Type abbreviations can include generic parameters, as in the following code.
type Transform<'a> = 'a -> 'a
In the previous code,
Transform is a type abbreviation that represents a function that takes a single argument of any type and that returns a single value of that same type.
Type abbreviations are not preserved in the .NET Framework MSIL code. Therefore, when you use an F# assembly from another .NET Framework language, you must use the underlying type name for a type abbreviation.
Type abbreviations can also be used on units of measure. For more information, see Units of Measure.