[13:10:10] <ada_ru> (Лекс) А давайте зашлём патч на разработку модулей на Spark'е? Даёшь надёжные верифицированные, читаемые драйверы в линакс!
[13:15:39] <ada_ru> (I_vlxy_I)  отвечает (Лекс) на <А давайте зашлём пат…>
А почему не Ада?
[13:17:16] <ada_ru> (Лекс) А чем вам Спарк не Ада? Та же Ада, только верифицировать можно
[13:17:17] <ada_ru> (Лекс) что по моему важно для ядра
[13:22:17] <ada_ru> (I_vlxy_I)  отвечает (Лекс) на <А чем вам Спарк не А…>
Возможностями.
[13:23:09] <ada_ru> (I_vlxy_I) Ну и он же не соответствует стандарту Ады. То есть вот этим оно и не ада.
[13:23:19] <ada_ru> (Лекс) Ну ясненько
[13:23:57] <ada_ru> (I_vlxy_I) Хотя ядро линукса тоже не сказать чтобы на Си писано.
[14:10:08] <ada_ru> (Eugene)  отвечает (sanyu) на <Как вам мнение Линус…>
линус? а, тот самый линус, что придумал говноядро вместо того что бы пользоваться миниксом?
[14:11:44] <ada_ru> (Лекс)  отвечает (Eugene) на <линус? а, тот самый …>
Как бы он не ядро придумал, а состряпал небольшую приблуду вокруг миникса, ядро было уже коллективной работой заинтересовавшихся пользователей.
[14:12:04] <ada_ru> (Eugene)  отвечает (Лекс) на <Зависит от того, как…>
из хаскелла там не особо что есть, ну разве что трейты, так они вроде не только в хаскелле теперь
[14:14:21] <ada_ru> (Eugene)  отвечает (Vinpuh) на <Он простой, на нем с…>
брейнфак ещё проще, и писать на нём ещё сложнее, но он проще ))
[14:17:17] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <из хаскелла там не о…>
Да. Раст это скорее камло
[14:17:39] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <Если замена лексем ч…>
ты наверняка легко напишешь (и даже прочитаешь) любую программу на K )))
[14:18:11] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <Да. Раст это скорее …>
ты наверняка легко напишешь любую программу на Лскорее ближе к скале
[14:18:35] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <ты наверняка легко н…>
Уверен что замена лексем никак на это не повлияет
[14:18:36] <ada_ru> (Eugene) чо с телеграмом? последнее время как-то непонятно глючит с отправкой сообщений
[14:19:27] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <Уверен что замена ле…>
ну всё же, односимвольные лексемы куда менее понятны и запоминающиеся, чем нормальные слова
[14:21:44] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <ну всё же, односимво…>
Не факт.

Плюс когда у тебя весь код умещается на экране читать его проще чем когда код это несколько экранов и его нужно листать.

(естественно когда код в обоих случаях абсолютно одинаков)
[14:23:36] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <Не факт.

Плюс когд…>
APL появился намного раньше всех этих паскалей и сишечек, но не APL захватил мир, а сначала паскаль, а потом сишечка
[14:24:04] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <APL появился намного…>
А у них грамматика одинакова? А семантика?
[14:24:19] <ada_ru> (I_vlxy_I) С чего ты взял, что дело именно в лексемах, а не всем остальном?
[14:25:15] <ada_ru> (I_vlxy_I) Ладно. Работа сама себя в лес не убежит.
[15:07:38] <ada_ru> (Максим)  отвечает (I_vlxy_I) на <Ну и он же не соотве…>
А в каком месте SPARK не Ада?
[15:08:54] <ada_ru> (I_vlxy_I) Подмножество Ады это не Ада.

Иначе компилятор который может компилировать только hello world на Аде можно будет назвать компилятором Ады.
[16:51:16] <ada_ru> (Максим) Spark это не компилятор, мне кажется
[16:51:49] <ada_ru> (Максим) Это средство доказательства корректности
[16:52:19] <ada_ru> (Максим) Которое работает на подмножестве Ады
[16:53:04] <ada_ru> (Максим) Поэтому Spark это Ада, но Ада это не spark
[17:11:51] <ada_ru> (I_vlxy_I) SPARK это язык. Который расширяет подмножество Ады средствами верификации.

Поэтому он не Ада. Но он сильно от Ады зависит и очень родственнен ей.
[19:34:59] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <при этом приводят мн…>
было же исследование 90-х гг и ты его тоже видел
[19:35:11] <ada_ru> (Eugene) http://bookfi.net/book/689531
[19:37:10] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <было же исследование…>
Я же как раз писал про это.
[19:37:39] <ada_ru> (I_vlxy_I) Что все что было, то было в 90х и никто на воспроизводимость даже тогда не проверял.
[19:37:44] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <Я же как раз писал п…>
почему ты думаешь, что с тех пор ситуация сильно изменилась?
[19:37:51] <ada_ru> (I_vlxy_I) А сейчас вовсе ничего актуального нет
[19:38:12] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <почему ты думаешь, ч…>
Потому что тогда и цпп и ада были СИЛЬНО другими
[19:38:16] <ada_ru> (I_vlxy_I) Особенно цпп
[19:38:23] <ada_ru> (I_vlxy_I) И средства разработки тоже
[19:38:42] <ada_ru> (I_vlxy_I) И программисты сами и подходы к программированию
[19:39:03] <ada_ru> (I_vlxy_I) Печально, что к этой области нет интереса
[19:39:40] <ada_ru> (Eugene) несколько лет назад русскоязычное сообщество функциональщиков запускало подобный эксперимент, тогда там высокие баллы бейсик набрал, насколько я помню )))
[19:40:04] <ada_ru> (I_vlxy_I) :-D
[19:43:45] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <Печально, что к этой…>
и, кстати, ты вапще в корне неправ!
каждый год проводится соревнование ICFPC, там обычно побеждает С++, иногда питон, иногда окамль, даже хаскель бывает...
[19:49:24] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <молодежь как раз ц++…>
недавно, несколько месяцев назад, соседский парень (живёт напротив по лестничной площадке) спрашивал меня насчёт обучения программированию, заявил, что хочет с++ изучать, я его отговаривал, не знаю, что он дальше решил )))
[19:50:18] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <ну и когда очень важ…>
так лучше сразу на си — и интеграция максимальная, и скорость получше чем у с++ ))
[19:52:10] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <и, кстати, ты вапще …>
Это не то.
[19:57:26] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <Это не то.>
почему не то? даётся достаточно сложная алгоритмическая задача, куча народу собирается в команды и решает её в течении трёх дней, кто быстрее и полнее решит — тот и победитель, а дальше смотрят, на каком языке (или языках) её решала эта команда
[20:04:43] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <почему не то? даётся…>
Потому, что как минимум численность разная, разный бэкграунд и так далее.

Задача и стиль программирования там очень специфичные
[20:05:12] <ada_ru> (I_vlxy_I) Это ближе не к разработке ПО кие говняканью скриптов одноразовых
[20:25:46] <ada_ru> (REBECCA) картинка https://www.ada-ru.org/files/bot/2019-09-02-x1.jpg
[20:25:58] <ada_ru> (REBECCA) hbndc y