Вывод типов всегда завершается, говорите?

[lomeo]

Вот здесь у меня висит на выводе типа myFix:

newtype Fun a = Fun (Fun a -> a)
 
fun x@(Fun f) = f x
 
myFix = fun (Fun fun)

Запускал в GHCi 6.6

Comments

[palm-mute.livejournal.com]

Да я понял.

newtype Fun a = Fun (Fun a -> a)

unwrap (Fun f) = f

selfApply f = unwrap f f

myfix f = selfApply $ Fun $ \g -> f (selfApply g)

> myfix (\f n -> if n==0 then 1 else n * f (n-1)) 5
120

[deni-ok.livejournal.com]

Здорово!
Какие вы оба умные :-)

[lomeo.livejournal.com]

:-)

[palm-mute.livejournal.com]

[Смайлик, ковыряющий в носу, уставившись в пол]