 |
| |||
| типизация по модели Хиндли-Милнера (включает в себя типы высших порядков, полиморфные типы, абстрактные и алгебраические типы данных, синонимы типов; из кн.: Душкин Р.В. Функциональное программирование на языке Haskell Alex_Odeychuk) | |||
|
| |||
| типизация по модели Хиндли-Милнера (включает в себя типы высших порядков, полиморфные типы, абстрактные и алгебраические типы данных, синонимы типов; из кн.: Душкин Р.В. Функциональное программирование на языке Haskell Alex_Odeychuk) | |||