The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



"Увидел свет язык программирования Rust 1.13"
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Подсказка: Второй уровень иерархии тем в форуме реализован через вкладку "Показ ключевых тем".
. "Увидел свет язык программирования Rust 1.13" +1 +/
Сообщение от 5kbps (ok), 13-Ноя-16, 00:02 
> Так что отключать подобные проверки смысл имеет большой.

Ты не уловил посыл. В общем случае, если ты отключил проверки, то ошибки не исключаются. Ты не можешь конечным числом тестов на этапе разработки доказать их (ошибок) отсутствие.

> Вам прямая дорога в Ocaml

Haskell более по душе. Там тоже HM.

> Системы типов мощнее Хиндли-Милнера ещё не придумали.

http://www.idris-lang.org/

Ответить | Правка | Наверх | Cообщить модератору

Оглавление
Увидел свет язык программирования Rust 1.13, opennews, 11-Ноя-16, 22:37  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру