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

[lomeo]

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

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

Запускал в GHCi 6.6

Comments

[lomeo.livejournal.com]

Знаю что не так. Баловался с нерекурсивным определением. Ты же сказал, что рекурсия, тем более хвостовая сосёт ;-)

В частности вот:

fixedFac f 0 = 1
fixedFac f n = n * f (n - 1)

fac = myFix fixedFac

Это хотел.

[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]

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