[00:08:45] <ada_ru> (I_vlxy_I) Ну и я тогда уж новость форвардну
[00:08:46] <ada_ru> (I_vlxy_I) Выпуск языка программирования Rust 1.43 https://opennet.ru/52797/
[00:08:55] <ada_ru> (I_vlxy_I) rustRustRUST!
[01:51:48] <ada_ru> (insert_reference_here) отвечает (reznikmm) на <Ну я вот пытался объ…>
Что не так с байтовым массивом для изображения?
[01:56:07] <ada_ru> (insert_reference_here) отвечает (avkvlru) на <К стыду своему про р…>
А зря, самый толково сделанный язык из (относительно) недавно появившихся
[01:58:59] <ada_ru> (I_vlxy_I) отвечает (insert_reference_here) на <А зря, самый толково…>
swift
[01:59:55] <ada_ru> (insert_reference_here) отвечает (I_vlxy_I) на <swift>
Не, там автоматический подсчёт ссылок неявный
[02:00:44] <ada_ru> (I_vlxy_I) ну а в расте более явный
[02:01:02] <ada_ru> (I_vlxy_I) но всё равно он
[02:01:51] <ada_ru> (insert_reference_here) А, и move-семантики в Swift нет
[02:03:21] <ada_ru> (I_vlxy_I) да, тут С++ сильно лучше
[02:04:09] <ada_ru> (insert_reference_here) отвечает (I_vlxy_I) на <да, тут С++ сильно л…>
В C++ move-семантика сломана
[02:04:24] <ada_ru> (I_vlxy_I) отвечает (insert_reference_here) на <В C++ move-семантика…>
будто она там когда-то была лучше 🙂
[02:04:38] <ada_ru> (I_vlxy_I) ну и да, её в Ц++ добавили когда никаких растов еще и в помине не было
[04:30:31] <ada_ru> (avkvlru) Кстати я вот никак не вдуплю, по ссылкам. Написано что в аде созданные объекты живут весь срок жизни(видимости) блока (процедуры, пакета и т.п.) То есть, теоретически, если ссылка создана в пакете- она живёт всё программу. По факту- же, насколько я понимаю там используется счётчик ссылок...
[04:30:36] <ada_ru> (avkvlru) Были какие-то изменения в стандарте?
[07:33:01] <ada_ru> (avkvlru) Хм... в общем я поторопился с выводами. Если кому интересно
Очистка мусора достаточно (имхо) эффективно работает в старых версиях objectada . Как только все указатели на объект становятся равными null- объект процесс (по данным диспетчера задачи) уменьшается в размерах до номинального.
В старых версиях гната (3.13) - очистка мусора работает (точнее не работает) так, как сказано. Более того - не освобождаются даже анонимные агрегары , созданные для инициализации.
Например код
astr:= new String(1..5 000 000);
astr.all:=(others=>'*');
Займёт у Вас не 5Мб, а 10...
В последнией версии гната 2019 - очистка мусора работает сугубо половинчато.
[07:44:22] <ada_ru> (geniepro) Валексей, так ты нашёл этот самый парсер EBNF?
я вот понять не могу, почему бы тебе его просто не слепить на коленке?
Формальное самоопределение РБНФ
Общую форму грамматики РБНФ-описания можно описать в виде РБНФ следующим образом:
Синтаксис = { СинтОператор }.
СинтОператор = идентификатор "=" СинтВыражение ".".
СинтВыражение = СинТерм {"|" СинТерм}.
СинТерм = СинтФактор { СинтФактор }.
СинтФактор = идентификатор | цепочка
| "(" СинтВыражение ")" | "[" СинтВыражение "]"
| "{" СинтВыражение "}".
[07:54:33] <ada_ru> (avkvlru) В общем, насколько я понимаю, к 2000 году под виндоус ещё не было бесплатных и работоспособных компиляторов, ибо то, что творил с памятью гнат, иначе как звездецом не назовёшь... Инициализацией больших объектов пользоваться просто было нельзя...
[07:56:02] <ada_ru> (reznikmm) отвечает (insert_reference_here) на <Что не так с байтовы…>
Я изложил свои аргументы в rfc. Если кратко, это не безопасно и неправильно. https://github.com/AdaCore/ada-spark-rfcs/blob/ccde7846cfabd9c465179f80ae27ae634a3d69db/considered/rfc-string_stream_in_put_image.rst
[07:57:09] <ada_ru> (reznikmm) отвечает (avkvlru) на <Хм... в общем я пото…>
В стандарте нет требования предоставлять сборщик мусора
[08:04:25] <ada_ru> (reznikmm) отвечает (reznikmm) на <Я изложил свои аргум…>
Всё это уже не актуально. В Adacore положили болт на этот rfc и на AI, где Тукер попытался предложить свою искареженную версию этого решения. Они сделали по своему, в духе адакоры. Через месяц сможете сами посмотреть в gnat gpl 2020
[08:11:27] <ada_ru> (reznikmm) Теперь они продавят это в стандарт, потому, что нет других производителей компиляторов. И мы будем иметь ещё один шедевр инженерного искусства на подобие subpool, которыми невозможно пользоваться
[09:16:22] <ada_ru> (avkvlru) Требования представлять сборщик мусора конечно нет, но работать без него как бы невозможно. А уж работата без освобождения памяти от анонимных агрегатов инициализации- приведёт к быстрой смерти на любой сколько-нибудь серьёзное рекурсии.
[09:31:22] <ada_ru> (avkvlru) кстати раз уж со всех щелей хвалят раст- посоветуйте по нему хорошую книжку)
[11:04:02] <ada_ru> (Oleg) отвечает (avkvlru) на <кстати раз уж со все…>
Ну нееееет ! :-) не становись одним из них :-)
[11:04:45] <ada_ru> (Oleg) Читаю вас и все больше понимаю - плюсы наше все ну и ада для души
[11:16:31] <ada_ru> (reznikmm) отвечает (avkvlru) на <Требования представл…>
Все работают, а вам невозможно... А обсуждать ошибки компилятора 20-ти летней давности вообще нет сысла, я считаю. Тем более, что это уже исправлено.
[11:24:41] <ada_ru> (geniepro) отвечает (avkvlru) на <кстати раз уж со все…>
что-то мне кажется, что все эти книшки, особливо бумажные, по Расту — давно устарели уже...
[11:26:04] <ada_ru> (geniepro) отвечает (avkvlru) на <кстати раз уж со все…>
https://rurust.github.io/rust_book_ru/
http://rustbook.ru/
[11:29:34] <ada_ru> (a) Почему не Лисп?
[11:30:01] <ada_ru> (a) (купи слона)
[11:30:12] <ada_ru> (avkvlru) отвечает (reznikmm) на <Все работают, а вам …>
Да мы тоже работаем, я чисто в ретроспективном смысле... Почему не взлетела после 95-го стандарта. Если не было работоспособного компилятора- то и не удивительно.
[11:31:20] <ada_ru> (geniepro) когда-то у ады было около двух сотен трансляторов, наверняка там были и вполне рабочие модели, но это не помогло завоевать мир, значит проблема не в трансляторах была...
[11:36:35] <ada_ru> (Victor) отвечает (a) на <Почему не Лисп?>
Good news:
В январе "выложили" исходные коды Scheme на Modula-3.
Сборка мусора - встроенная в M3.
Назвали - MScheme
( а был бы GC в Ada, то, возможно, был бы AScheme )
[11:37:26] <ada_ru> (insert_reference_here) отвечает (avkvlru) на <кстати раз уж со все…>
doc.rust-lang.org/book
[11:43:24] <ada_ru> (a) Я как раз вчера из sicp примерчики воспроизводил
[11:43:35] <ada_ru> (avkvlru) отвечает (geniepro) на <когда-то у ады было …>
У нежизнеспособной ады'83. До 95 они не дожили...
[11:44:04] <ada_ru> (a) И понял что схема и Лисп несколько разные диалекты
[11:48:20] <ada_ru> (a) отвечает (Victor) на <Good news:
В январе…>
На андроид есть? Как то можно притянуть?
[11:51:17] <ada_ru> (Victor) отвечает (a) на <И понял что схема и …>
Некий SLisp в Modula-3 просто модуль "встроенный интерепретатор Лисп"
[11:59:20] <ada_ru> (Victor) отвечает (a) на <На андроид есть? Как…>
В Modula-3 репозитории на Github.
Подкаталог m3-scheme
Про Android: здесь "вопрос мутный":
a) не ясно есть ли M3 под него
( грандиозной проблемы не вижу:
M3 весьма портабельна)
б) сам код MSheme не собрался на Mac OS X ( у людей, есть issue) и у меня под Windows.
Но отлично собирается под Linux.
Т.е. "есть смысл" именно там и посмотреть.
Тем более, что в readme пишут, что есть "те же ограничения, что и в" JScheme.
[11:59:26] <ada_ru> (I_vlxy_I) отвечает (Victor) на <Good news:
В январе…>
Какая проблема написать интерпретатор схемы на языке без GC?
[12:03:24] <ada_ru> (Victor) отвечает (I_vlxy_I) на <Какая проблема напис…>
Думаю, что никакой -)
(
Я уподобляюсь некоему древнеримскому сентатору.
Если в каждом спитче писать про GC Ada, то глядишь и ...
Сенатор-то потом был твердо уверен, что победа над Карфогеном без его усилий не случилась бы -)
)
[12:05:01] <ada_ru> (a) *карфа
[12:06:21] <ada_ru> (Victor) отвечает (a) на <*карфа>
Вот, вот он Андоид: не справился с проверкой orfo -)
[12:08:38] <ada_ru> (a) нет
[12:09:01] <ada_ru> (a) с десктопа
[12:09:55] <ada_ru> (a) и кстати *спича
[12:10:03] <ada_ru> (a) )
[12:12:23] <ada_ru> (a) вообще за последние десять лет хуже писать стали, много ошибок, на разных каналах и вообще в интернете. Народ не перечитывает, что пишет, перед тем как отправлять.
[12:32:44] <ada_ru> (nitrocerber) Ну так принцип тяп-ляп и в продакшн верен и для чЯтиков
[13:12:02] <ada_ru> (a) Хм. Пора менять железки https://www.ixbt.com/news/2020/04/24/wi-fi-20.html?utm_source=yxnews&utm_medium=mobile
[13:12:21] <ada_ru> (a) К концу года
[14:07:54] <ada_ru> (geniepro) отвечает (Victor) на <Good news:
В январе…>
что за MScheme? вот этот, что ли?
https://github.com/sielenk/MScheme
[14:09:50] <ada_ru> (geniepro) вообще, я не понимаю, зачем нужен ещё один интерпретатор схемы, когда есть тот же доктор рэкет
https://racket-lang.org/
[14:29:35] <ada_ru> (I_vlxy_I) отвечает (geniepro) на <вообще, я не понимаю…>
А почему нет?
[14:38:30] <ada_ru> (geniepro) отвечает (I_vlxy_I) на <А почему нет?>
нафига это распыление ресурсов? пользы-то всё равно нет
[14:38:59] <ada_ru> (I_vlxy_I) отвечает (geniepro) на <нафига это распылени…>
Чьих ресурсов? Я не вижу тут никакого распыления
[14:39:44] <ada_ru> (geniepro) отвечает (I_vlxy_I) на <Чьих ресурсов? Я не …>
ну кто-то же это делал, время своё тратил, потратил бы на полезное...
[14:40:05] <ada_ru> (I_vlxy_I) отвечает (geniepro) на <ну кто-то же это дел…>
Вот он и потратил своё время на полезное ему дело
[15:10:26] <ada_ru> (I_vlxy_I) отвечает (geniepro) на <Валексей, так ты наш…>
нашел. на Go
[15:49:03] <ada_ru> (I_vlxy_I) Но по итогам, кажется, для моей задачи EBNF избыточен
[15:49:15] <ada_ru> (I_vlxy_I) Попробую eDSL слепить
[23:07:24] <ada_ru> (I_vlxy_I) http://www.inr.ac.ru/~info21/wirth/wirth_avia.htm#ariane
[23:07:25] <ada_ru> (I_vlxy_I) 😄
[23:07:38] <ada_ru> (I_vlxy_I) картинка https://www.ada-ru.org/files/bot/2020-04-24-x5.jpg
[23:08:41] <ada_ru> (nitrocerber) А я люблю фейл ариана
[23:09:02] <ada_ru> (nitrocerber) Он один. Ничего другого за аду никто не знает
[23:09:40] <ada_ru> (Victor) Про Ариан-5 можете почитать мою подборку фактов и исходников на forum.oberoncore.ru ( и ещё в паре мест)
[23:09:59] <ada_ru> (I_vlxy_I) отвечает (nitrocerber) на <Он один. Ничего друг…>
ну это потому, что:
1) Аду нигде не используют
2) Везде где используют Аду всё засекречено
[23:10:01] <ada_ru> (I_vlxy_I) очевидно
[23:10:39] <ada_ru> (I_vlxy_I) отвечает (Victor) на <Про Ариан-5 можете п…>
ссылка слишком общая, если что. и часть интересных разделов там не доступна для обычных смертных. также не работает поиск
[23:11:11] <ada_ru> (I_vlxy_I) плюс, если участь, что вот та ересь, которую я процитировал, суть исходит от оберонкора, forum.oberoncore.ru так себе источник
[23:11:22] <ada_ru> (Victor) отвечает (I_vlxy_I) на <ссылка слишком общая…>
Ок, поищу с утра ...
[23:11:43] <ada_ru> (I_vlxy_I) "Читатель может прикинуть, сколько весила бы машина, если бы ее ПО создавалось на основе таких популярных языков как Java или C++ — и когда был бы закончен проект. В качестве масштабного множителя можно предложить отношение объемов описаний языков — 16 стр. для Оберона, 200 для Java и больше 1000 для C++. ;-))"
[23:11:48] <ada_ru> (Victor) отвечает (I_vlxy_I) на <плюс, если участь, ч…>
Это провайдер, источники - другие
[23:23:45] <ada_ru> (Victor) отвечает (I_vlxy_I) на <"Читатель может прик…>
А вот мне пришлось "искать на странице" ...
Творческий перевод?
Или "армейский юмор" в оригинале?
[23:24:31] <ada_ru> (I_vlxy_I) отвечает (Victor) на <А вот мне пришлось "…>
перевод чего? вроде это оригинальный оригинал
[23:25:04] <ada_ru> (Victor) отвечает (I_vlxy_I) на <перевод чего? вроде …>
А разве не статья из Швейцарской прессы?
[23:25:42] <ada_ru> (I_vlxy_I) отвечает (Victor) на <А разве не статья из…>
нет. это статья Ткачева
[23:26:17] <ada_ru> (I_vlxy_I) и потом это дело без редактуры и вычитки в газете перепечатали Латвийской: http://www.inr.ac.ru/~info21/pdf/digital_times_wirth.pdf
[23:26:26] <ada_ru> (I_vlxy_I) что позор и для газеты и для автора
[23:27:56] <ada_ru> (Victor) отвечает (I_vlxy_I) на <и потом это дело без…>
Я опоздал... Будем считать уточнением
Материал перепечатан латвийским еженедельником Digital Times