Prelude> :t (\f g -> g (\x -> f x)) :: (a -> b) -> ((a -> b) -> b) -> b (\f g -> g (\x -> f x)) :: (a -> b) -> ((a -> b) -> b) -> b :: (a -> b) -> ((a -> b) -> b) -> b
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2012-06-28 03:26 pm (UTC)В системах в стиле Карри терму можно приписать бесконечное множество типов.