Int
| Целый скаляр. Результат -- целое число. Как аргумент, допустим любой скаляр (который неявно приводится к целому). |
Float
| Действительный скаляр. Результат -- действительное число. Как аргумент, допустим любой скаляр (который неявно приводится к действительному). |
Num
| Числовой скаляр. Результат -- любое число, целое или действительное. Как аргумент, допустим любой скаляр (который неявно приводится к числовому значению). |
String
| Строковый скаляр. Результат -- символьная строка. Как аргумент, допустим любой скаляр (который неявно приводится к строке). |
Bool
| Логическое значение. Результат проверки условия. Как аргумент: 0, "" и undef как ложь (false); любое другое значение как истина (true). Как результат: исключительно 0 (как ложь) или 1 (как истина). |
Sign
| Знаковое значение. Результат сравнения на упорядоченность. Как аргумент: допустимо любое скалярное значение (неявно приводится к числовому, после чего сравнивается с 0). Как результат: исключительно -1 (отрицательное/меньшее), 1 (положительное/большее), или 0 (ноль/равное). |
Scalar
| Скалярное значение. Результат -- любое скалярное (числовое или строковое) значение. |
Range
| Целочисленный диапазон. Диапазон целых, ограниченный списком (Start, End). Включает все значения, для которых Start <= value && value < End (или пуст, если Start >= End). Если задано единственное скалярное значение N, предполагается диапазон 0..N. |
Mutable
| Мутабельное значение. Любое мутабельное значение или результат. (Сообщает об ошибке, если аргумент иммутабелен.) |
List
| Списковое значение. Результат -- список (допуская атомарные значения и undef, как тривиальные списки). |
Term
| Значение -- терм. Результат -- выражение-терм. |
Block
| Значение -- блок. Результат -- выражение-блок. |
Array
| Значение -- массив. Произвольный массив. (Сообщает об ошибке, если результат не является массивом.) |
Hash
| Значение -- словарь. Произвольный словарь. (Сообщает об ошибке, если результат не является словарем.) |
Pattern
| Значение -- образец. Произвольный образец. (Сообщает об ошибке, если результат не является образцом.) |
Object
| Значение -- объект. Экземпляр произвольного типа. (Сообщает об ошибке, если результат не является объектом какого-либо типа.) |
Func
| Значение -- ссылка на функтор. Ссылка на произвольный функтор (включая примитивы, пользовательские функторы и классы). (Сообщает об ошибке, если результат не является ссылкой на функтор.) |
Class
| Значение -- ссылка на класс. Подмножество Func: ссылка на произвольный класс. |
Virtual
| Значение -- ссылка на виртуальный метод. Подмножество Func: ссылка на виртуальный метод. |
Stream
| Значение -- ссылка на поток. Ссылка на поток ввода/вывода. |
Any
| Произвольное значение. Значение любого типа без ограничений. |
Всего: 21 метатип(ов).
