Исходное сообщение
"Увидел свет язык программирования Rust 1.13" Отправлено freehck, 13-Ноя-16 01:44
>> Так что отключать подобные проверки смысл имеет большой. > Ты не уловил посыл. В общем случае, если ты отключил проверки, то > ошибки не исключаются. Ты не можешь конечным числом тестов на этапе > разработки доказать их (ошибок) отсутствие. Да, совсем не исключаются. Это уже только детальным анализом алгоритма. Но и мой посыл в другом: иногда лучше кое-как и сегодня, нежели хорошо и никогда. >> Вам прямая дорога в Ocaml > Haskell более по душе. Там тоже HM. Ой, мы тут не подружимся. Я не воспринимаю Haskell: умолчательная ленивость - это слишком уж академично. И кстати там не чистый HM. Там его расширили классами типов. И если для HM есть строгая теория, доказывающая корректность этого разолвера, то вот для этого расширения мне не известны доказательства корректности. Если они есть, поправьте меня пожалуйста. >> Системы типов мощнее Хиндли-Милнера ещё не придумали. > http://www.idris-lang.org/ Ну хоть пару слов скажите в затравку. Моё время тоже не резиновое.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>>> Так что отключать подобные проверки смысл имеет большой. >> Ты не уловил посыл. В общем случае, если ты отключил проверки, то >> ошибки не исключаются. Ты не можешь конечным числом тестов на этапе >> разработки доказать их (ошибок) отсутствие. > Да, совсем не исключаются. Это уже только детальным анализом алгоритма. > Но и мой посыл в другом: иногда лучше кое-как и сегодня, нежели > хорошо и никогда. >>> Вам прямая дорога в Ocaml >> Haskell более по душе. Там тоже HM. > Ой, мы тут не подружимся. Я не воспринимаю Haskell: умолчательная ленивость - > это слишком уж академично. > И кстати там не чистый HM. Там его расширили классами типов. И > если для HM есть строгая теория, доказывающая корректность этого разолвера, то > вот для этого расширения мне не известны доказательства корректности. Если они > есть, поправьте меня пожалуйста. >>> Системы типов мощнее Хиндли-Милнера ещё не придумали. >> http://www.idris-lang.org/ > Ну хоть пару слов скажите в затравку. Моё время тоже не резиновое.
	Введите код, изображенный на картинке: