type

There was some repeatable code I wrote 2-3 times. Let's make module one time and forever.

Модуль представляет абстракцию "тип данных"
Бывают скалярные типы int, bool, string
Бывают контейнерные типы array<int>, hash<int>, function<int,int>
- Пример. array<int>. Массив у которого значения типа int
- Пример. hash<int>. Хэш у которого значения типа int (а ключи типа string)
- Пример. function<bool,int,int>. Функция возвращает свой вложенный первый тип (bool), и принимает в качестве аргумента все остальные вложенные типы (int, int)
Бывают структурные типы struct{x: int, y: int}
- Это пример структуры из 2 полей типа int с именами x и y
Особый случай void. Он скалярный, но переменной этого типа быть не может. Это обозначение, что функция не возвращает никакого значения function<void>

Как использовать

new Type 'int'
- прим. заведите себе сразу удобный alias type = (t)-> new Type t
t1.cmp(t2) сравнить два типа
"my type is #{t1}" у него есть toString(), потому он нормально вставляется в интерполяцию строк