The OpenNET Project / Index page

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



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Увидел свет язык программирования Rust 1.9, opennews (??), 27-Май-16, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


17. "Увидел свет язык программирования Rust 1.9"  +/
Сообщение от ZloySergant (ok), 27-Май-16, 18:18 
Два комментария в одном.
1. Racket, в девичестве PLT-Scheme - чудесная штука. Жаль не Common LISP, а Scheme.
2. Haskell лучше не вспоминать. Все, что касается IO или иных вещей, выходящих за рамки, - лютый звиздец. За проталкивание в массы ширинки (zipper) авторов надо ... и еще раз ..., а потом (ну Вы поняли :) ).

Впрочем, это - личное мнение. Никому не навязываю.

UPD. А lazy computation, вообще-то реализуется хоть на Си.

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

20. "Увидел свет язык программирования Rust 1.9"  +/
Сообщение от freehckemail (ok), 27-Май-16, 18:35 
Поддерживаю. За одной лишь оговоркой по части Haskell, что IO и иные вещи -- это как раз следствие глобальной ленивости языка.
Ответить | Правка | Наверх | Cообщить модератору

22. "Увидел свет язык программирования Rust 1.9"  +/
Сообщение от ZloySergant (ok), 27-Май-16, 19:46 
> Поддерживаю. За одной лишь оговоркой по части Haskell, что IO и иные
> вещи -- это как раз следствие глобальной ленивости языка.

Хм, если мне не изменяет мой маразм - таки как раз _излишне_ сильной (на этой основе и строится прарадигма языка) типизации. Отсюда и пляски с бубном.

Впрочем, это опять мое сугубое IMHO.

UPD. Имею ввиду все-таки strict typing, а не strong. Сложности перевода, что делать.

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

28. "Увидел свет язык программирования Rust 1.9"  +/
Сообщение от freehckemail (ok), 27-Май-16, 23:46 
> Хм, если мне не изменяет мой маразм - таки как раз _излишне_
> сильной (на этой основе и строится прарадигма языка) типизации. Отсюда и
> пляски с бубном.

Странные у вас представления. Это же Хиндли-Милнер в чистом виде. Благодаря этой системе типов, если программа скомпилировалась, то ошибок типа точно нет. За это и люблю Ocaml.

Впрочем, я понимаю, о чём Вы. Вы, стало быть, не о монадах, как я сначала подумал, а о форматных строках, которые тоже проверяются на этапе компиляции. Ну да, там хитрая магия, что уж поделать.

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

21. "Увидел свет язык программирования Rust 1.9"  +/
Сообщение от Аноним (-), 27-Май-16, 19:10 
Хаскель на самом деле- годная штука, просто специфичная(а особенно "реализации" его ;) а вот Смалталк - вещь на люителя, конечно.
вот Эрланг - тот да, крутяк.
Ответить | Правка | К родителю #17 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




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

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