11 мая 2010 · Комментарий

Без заголовка

Имя не сохранено · Оригинал в ЖЖ ↗ · Ссылка на запись

"Терминальный объект" в распространенных системах типов обычно присутствует - это любой тип, который содержит всего лишь один инстанс (все такие типы должны быть изоморфны). По поводу конкатенативных: мне очень понравилось определение языка Joy как морфизма из синтаксического моноида в семантический. Кратко, красиво. Блеск.