Introduction to Damas-Hindley-Milner type inference algorithm that powers

many modern typed functional programming languages and why it is cool.

* Вступ до виводу типів

Базові факти роботи алгоритму Дамаса-Хіндлі-Мілнера для виводу

типів - алгориму, що широко використовується для виводу та

перевірки типів в сучасних мовах функційного програмування.