*загробным голосом* Все значения с типом (s -> t) -> s -> s также имеют тип a -> b -> b.
Так что тип становится более общим в том смысле, что расширяется кодомен функции - однако и НЕ становится более общим в том смысле, что множество значений, имеющих такой тип, не расширяется.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2008-03-29 11:15 am (UTC)*вызывает дух Карри-Ховарда*
*загробным голосом*
Все значения с типом (s -> t) -> s -> s также имеют тип a -> b -> b.
Так что тип становится более общим в том смысле, что расширяется кодомен функции - однако и НЕ становится более общим в том смысле, что множество значений, имеющих такой тип, не расширяется.