Исходное сообщение
"Увидел свет язык программирования Rust 1.13" Отправлено 0xd34df00d, 14-Ноя-16 22:17
> Я не воспринимаю Haskell: умолчательная ленивость - это слишком уж академично. Зато на самом деле очень удобно, если научиться этим пользоваться (я пока умею не до конца, правда). Ну и в ghc 8 запилили {-# LANGUAGE Strict #-}. > И если для HM есть строгая теория, доказывающая корректность этого разолвера, то вот для этого расширения мне не известны доказательства корректности. Вы именно о выводе типов? Если да, то в худшем случае вывод типов просто никогда не завершится (что возможно для rank-n polymorphism вообще, если я правильно помню, и для некоторых условий на несужающиеся инстансы типов, что включается расширением UndecidableInstances, в качестве частного случая).