Здравствуйте, wl., Вы писали:
wl.>ну ясно, получается у меня просто нет соответствующего бэкграунда, или даже хотя бы англоязычной терминологии. Книжку почитаю, откопал на русском
Если тебе только про регулярные типы — глава 1.5 в английском издании. Там пара страниц всего. Если коротко, то полурегулярные типы — типы, значения которых ты можешь присваивать и копировать. Регулярные — еще и сравнивать ==.
