Термы с заданными типами

[deniok]

Три задачки с экзамена, в порядке усложнения условия.

Написать замкнутый терм типа (a -> b) -> ((a -> b) -> b) -> b.

Написать замкнутый терм типа (a -> b) -> ((a -> b) -> b) -> b, которому нельзя приписать тип c -> (c -> b) -> b.

Написать замкнутый терм с наиболее общим типом (a -> b) -> ((a -> b) -> b) -> b.

Comments

[nponeccop.livejournal.com]

C первым справился :)

[slobin.livejournal.com]

1. \f g -> g f
   
2. \f g -> g (\x -> f x)
   
3. \f g -> g(\x -> head[f x, g f])
   

(я не настоящий хаскелист, я каску на стройке нашёл, если что)

... Управление текстовым редактором в нетрезвом состоянии ...

[sassa-nf.livejournal.com]

\f g -> g (g . (\x -> f))

Наиболее общий тип

[dmytro starosud (from livejournal.com)]

Скажите, пожалуйста, а что значит, "Наиболее общий тип"?

[ivan-gandhi.livejournal.com]

Ах какие задачки! И какие решения!