Автор: Andrew Shitov

В Perl 6 вы можете использовать юникодные символы цифр в суперскрипте, чтобы записать возведение в степень.

Например:

say 2⁵; # 32

С той же легкостью степень может быть больше девятой, то есть содержать больше одной цифры:

say 1.01¹³; # 1.13809328043329

Более того, допустимы и отрицательные степени:

say 4⁻³; # 0.015625

Все это работает и с переменными. Например, проверим теорему Пифагора:

my $a = 3;
my $b = 4;
my $c = 5;

say $c² == $a² + $b²; # True

 

Сегодня мы разберемся с типизированными хешами, но сначала позвольте напомнить, как указать тип простой скалярной переменной:

my Int $i;

Аналогично можно указать тип данных, который вы назначаете допустимым для элементов массива:

> my Int @i;
[]

> @i.push(42);
[42]

Если попытаться в этот массив добавить строку, произойдет ошибка:

> @i.push('Hello');
Type check failed in assignment to @i;
expected Int but got Str ("Hello")
  in block <unit> at <unknown file> line 1

А вот с хешами чуть сложнее, потому что у каждого элемента хеша два элемента: ключ и значение.

Чтобы указать тип значений, используется вот такой синтаксис:

my Str %s;

Теперь мы можем хранить строки:

> %s<Hello> = 'World'
World

> %s<42> = 'Fourty-two'
Fourty-two

Но не числа:

> %s<x> = 100
Type check failed in assignment to %s;
expected Str but got Int (100)
  in block <unit> at <unknown file> line 1

(Обратите внимание, что ключом в %s<42> тоже является строка, а не число.)

А чтобы указать тип ключей, поставьте его имя в фигурных скобках:

my %r{Rat};

У нас получился типизированный, или объектный хеш.

Например, создадим хеш, где ключами будут работать значения типа Rat:

> %r<22/7> = pi
3.14159265358979

> %r
{22/7 => 3.14159265358979}

Теперь уже невозможно использовать ни целые числа, ни строки:

> %r<Hello> = 1
Type check failed in binding to parameter 'key';
expected Rat but got Str ("Hello")
  in block <unit> at <unknown file> line 1

> %r{23} = 32
Type check failed in binding to parameter 'key';
expected Rat but got Int (23)
  in block <unit> at <unknown file> line 1

И, наконец, еще более ограничим элементы хеша, указав одновременно и тип ключей, и тип значений:

my Str %m{Int};

Ключи здесь — целые числа, а значения — строки. Например, в этом хеше теперь можно хранить соответствие номеров месяцев их названиям, но не наоборот:

> %m{3} = 'March'
March

> %m<March> = 3
Type check failed in binding to parameter 'key';
expected Int but got Str ("March")
  in block <unit> at <unknown file> line 1