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

[lomeo]

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

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

Запускал в GHCi 6.6

Comments

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

[deni-ok.livejournal.com]

Что-то я не врубаюсь. Как ты, например, сделаешь
\x -> x x
?
myfix (\x -> x x) даст ошибку типизации. Или мы саму лямбду здесь должны делать по-другому?

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

[lomeo.livejournal.com]

Если считать, что тип терма - Fun, а не Fun a ('a' нужен только для самого низа, когда мы к реальным вычислениям переходим), то всё ок - selfApply - это и есть твой \x -> x x ;-)

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

[deni-ok.livejournal.com]

А, ну понял. Ты говоришь бестиповая лямбда, имея ввиду бестиповое исчисление. В смысле, что мы не ограниченны только типизируемыми выражениями.

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

[lomeo.livejournal.com]

Наверное, я в терминах не очень