Аннотация:
Статья знакомит программиста с функциональными типами языка Хаскелл и с системой проверки и вывода типов. В качестве основного примера используется оператор композиции функций. Знание Хаскелла не обязательно, необходимые для изложения элементы синтаксиса языка вводятся по мере необходимости. Предполагается, что читатель имеет представление о понятии типа, а также наличие опыта программирования на типизированном языке. Желательно знакомство с языками C/C++.