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

[lomeo]

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

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

Запускал в GHCi 6.6

Comments

Re: Не понял, почему

[nealar.livejournal.com]

Я и слов-то таких не знаю.
Ковариантный - это что-то из теормеха?

Re: Не понял, почему

[lomeo.livejournal.com]

хз, я в MIT'овском "Types And Programming Languages" читал, там в одном месте так назвали. А ещё где то читал с приставкой "рекурсивный".

Честно, это не я придумал :-)

Re: Не понял, почему

[palm-mute.livejournal.com]

http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf