Аббревиаций типов

Сокращение типа — это псевдоним или альтернативное имя типа.

Замечание

Функция "сокращение типа" позволяет создавать альтернативные имена, которые являются более короткими или более длинными, чем имя исходного типа. Обычно можно сократить имена длинных типов или создавать более простые имена для приложений типов с определенными универсальными аргументами. С помощью сокращенных типов можно создавать более длинные, более описательные имена, повышающие удобочитаемость кода.

Синтаксис

type [accessibility-modifier] type-abbreviation = type-name

Замечания

С помощью сокращенных типов можно указать более понятное имя типа, чтобы упростить чтение кода. Вы также можете использовать их для создания простого имени для типа, который в противном случае является громоздким для записи. Кроме того, можно использовать сокращения типов, чтобы упростить изменение базового типа, не изменяя весь код, использующий тип. Ниже приведено простое сокращение типа.

Специальные возможности аббревиаций типа по publicумолчанию.

type SizeType = uint32

Сокращенные значения типов могут включать универсальные параметры, как показано в следующем коде.

type Transform<'a> = 'a -> 'a

В предыдущем коде Transform — это сокращение типа, представляющее функцию, которая принимает один аргумент любого типа и возвращает одно значение этого же типа.

Аббревиаций типов не сохраняются в коде общего промежуточного языка (CIL). Поэтому при использовании сборки F# из другого языка .NET необходимо использовать базовое имя типа для сокращения типа.

Аббревиаций типов также можно использовать для единиц измерения. Дополнительные сведения см. в разделе "Единицы измерения".

См. также

• Справочник по языку F#