Здравствуйте, VladD2, Вы писали:

L>>А почему алгоритм Хиндли-Милнера слабый?

VD>Ну, примитивный он. Что тут еще можно сказать то? Много ограничений. Много случаев когда он не работает. Классика F#-а — f g не срабатывает, в то время как g |> f срабатывает.

А можешь показать, как конкретно этот баг получается в Хиндли-Милнере? По-моему, никак не должен.

VD>Дык глобальный то вывод типов по жизни никому не нужен.

Зря ты так, очень даже нужен. Т.е. ты, может, и привык без него обходиться, но мой опыт с окамлом говорит, что когда такой вывод типов есть, это очень хорошо и удобно. У меня в компиляторе на две с лишним тыщи строк очень мало где у функций задан явно тип, для подавляющего большинства он просто выводится. А там, где задан, это не из необходимости, а для задания "центра кристаллизации".