[00:04:30] <OCTAGRAM> у C++ не так много трансляторов, которые были бы сдвоены с другим, полезным языком, так что либо G++, либо C++ Builder, на них всё и делается, когда нужен C++
[00:10:11] <ada_ru> (I_vlxy_I) а что значит "сдвоены"?
[00:10:25] <ada_ru> (I_vlxy_I) clang, gcc
[00:10:45] <ada_ru> (I_vlxy_I) там не то что сдвоены - счетверены 🙂 и далее
[00:11:09] <ada_ru> (I_vlxy_I) наверно, при желании, сюда и мелкомягкий компилятор можно присовокупить.
[00:19:39] <ada_ru> (I_vlxy_I) это из легко доступных. а всяких экзотических компиляторов вообще масса. со своими инфраструктурами часто не моноязычными
[07:57:47] <ada_ru> (Eugene) метаклассы ещё в древнем смоллтоке были
[07:58:16] <ada_ru> (Eugene)  отвечает (I_vlxy_I) на <я не питаю иллюзий, …>
мне вот кажется. что раст проще ады, просто потому что меньше как язык
[08:27:44] <OCTAGRAM> ну вот в C++ Builder и G++ классы между нормальным языком и C++ могут наследоваться, в этом смысле сдвоены
[08:28:39] <OCTAGRAM> а у Microsoft я что-то не помню, чтоб поддержка Ады или Делфей была, и тем более, чтоб C++ их был сдвоен
[08:28:57] <OCTAGRAM> не с чем сдваивать
[08:51:01] <ada_ru> (anisimkov) c бейсиком
[08:51:18] <ada_ru> (anisimkov) или с PowerShell
[10:25:32] <ada_ru> (I_vlxy_I)  отвечает на <(OCTAGRAM) не с чем …>
С шарпом. С++/cli
[10:35:09] <OCTAGRAM> ну не шарпом тогда уж, а делфи призмой или мгнатом, и идеологически это неправильно
[10:37:36] <ada_ru> (I_vlxy_I) Мы ж про технологию говорим, а не про идеологию :-)
[10:37:59] <OCTAGRAM> замысел сдвоенности в том, чтобы людей вывести из унаследованного мракобесия на свет, то есть, этот свет по природе должен быть способен заменить унаследованное мракобесие совсем

а дотнет натив никогда вполне не заменит
[10:38:45] <ada_ru> (Oleg) Парни, а как идиологический правильно делать слайсы от массивов в разных языках, чтоб потом небыло out of range?
[10:39:26] <ada_ru> (Oleg) Я пока обертку сделал , передаёшь началоконец и массив
[10:39:39] <ada_ru> (I_vlxy_I) То есть выводим из унаследованного мракобесия проприетарщины и отсутствия стандарта делфей на свет сияния c++?
[10:39:54] <ada_ru> (Oleg) Она проверяет диапазоны, но хочется нативно
[10:40:08] <ada_ru> (Oleg) Вот в Аде как с этим ?
[10:40:11] <OCTAGRAM> проприетарина не такое мракобесие, как уязвимость
[10:40:36] <ada_ru> (I_vlxy_I)  отвечает (Oleg) на <Парни, а как идиолог…>
На coq или Агде- там гарантированно не будет выхода за границы. И без рантайм проверок :-)
[10:41:11] <ada_ru> (Oleg) А как оно проверит ? Я ж в рантайме начало - конец получаю
[10:41:47] <ada_ru> (I_vlxy_I)  отвечает (Oleg) на <А как оно проверит ?…>
А тебя компилятор заставит формально доказать, что выхода не будет. Иначе не скомпилируется
[10:41:54] <ada_ru> (I_vlxy_I) Выхода нет
[10:42:01] <ada_ru> (Oleg) Ух ты ж
[10:42:04] <OCTAGRAM> обычно все эти слайсы как раз для того, чтоб Out of range были
[10:42:31] <OCTAGRAM> а, ну так спарк по тому же принципу работает
[10:42:44] <ada_ru> (Oleg) А как в Аде вобще слайс сделать ? :-)
[10:43:06] <ada_ru> (Oleg) Что-то в интернетах разное написано
[10:43:21] <OCTAGRAM> все сводится к тому, что нужно вручную написать иф и проверить плохой случай, не полагаясь, что его отловит рантайм
[10:43:42] <OCTAGRAM> Массив (Начало .. Конец)
[10:44:16] <ada_ru> (I_vlxy_I) В Го вроде должен отловить
[10:44:26] <ada_ru> (Oleg)  отвечает на <(OCTAGRAM) все своди…>
Эх... у меня таких if ов столько , что я сделал функцию обертку
[10:44:36] <ada_ru> (Oleg)  отвечает (I_vlxy_I) на <В Го вроде должен от…>
Го падает в паник :-)
[10:44:46] <ada_ru> (I_vlxy_I)  отвечает (Oleg) на <Го падает в паник :-…>
Вот! Отлавливает
[10:44:51] <ada_ru> (Oleg) Огонь
[10:44:55] <ada_ru> (Oleg) :-)
[10:45:10] <ada_ru> (Oleg) Особенно радует что исключений нет
[10:45:20] <ada_ru> (Oleg) И ошибок от слайса нет
[10:45:24] <ada_ru> (I_vlxy_I) Дык паники это и есть исключения
[10:45:42] <ada_ru> (Oleg) Только оно терминацией завершается
[10:46:04] <ada_ru> (I_vlxy_I) Зависит от. Так то панику поймать можно и обработать
[10:46:47] <ada_ru> (I_vlxy_I) Я ловил :-) после этого приложение продолжало работать
[10:47:05] <ada_ru> (Oleg) Ну блин кто мешал то добавить try catch ? Нипанятно
[10:47:17] <ada_ru> (I_vlxy_I) Дык оно есть
[10:47:26] <ada_ru> (I_vlxy_I) Но не так удобно конечно
[10:47:29] <ada_ru> (I_vlxy_I) Но тоже ок
[10:47:31] <ada_ru> (Oleg) Где ? Как? Когда ? :-)
[10:47:52] <ada_ru> (Oleg) Ладно пошукаю в этих ваших интернетах
[10:48:22] <ada_ru> (I_vlxy_I) https://blog.golang.org/defer-panic-and-recover
[10:48:26] <ada_ru> (I_vlxy_I) recover
[10:48:27] <ada_ru> (Oleg) Или перепишу на Аде!
[10:49:14] <ada_ru> (I_vlxy_I) https://yourbasic.org/golang/recover-from-panic/#recover-and-catch-a-panic
[10:49:20] <ada_ru> (I_vlxy_I)  отвечает (Oleg) на <Или перепишу на Аде!>
<прислал наклейку> 😡
[10:51:18] <ada_ru> (Oleg) Бешенный хомяк
[10:53:26] <ada_ru> (I_vlxy_I) <прислал наклейку> 😳
[10:55:14] <ada_ru> (Oleg) А для Ады стикеров нет :-(
[10:55:30] <ada_ru> (Oleg) На досуге сбацать
[10:55:32] <ada_ru> (Oleg) Надо
[11:29:00] <ada_ru> (I_vlxy_I)  отвечает (Oleg) на <На досуге сбацать>
Надо бы придумать веселый сет, да.
[11:29:13] <ada_ru> (I_vlxy_I) Не представляю только что там должно быть
[11:29:29] <ada_ru> (I_vlxy_I) <прислал наклейку> 🌅
[11:29:35] <ada_ru> (I_vlxy_I) Разве что :-)
[11:40:27] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <мне вот кажется. что…>
А он точно меньше? Ну да какие его годы :-)
[14:07:12] <ada_ru> (Eugene) http://vschart.com/compare/ada/vs/rust
[14:13:27] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <http://vschart.com/c…>
Это не таблица, это фигня полная.
[14:13:40] <ada_ru> (I_vlxy_I) Таких мусорных сайтов развелось очень много
[14:14:13] <ada_ru> (Eugene) да норм таблица, чего не нравится ))))
[14:14:48] <OCTAGRAM> SQLite я где только не видел для Ады
[14:16:19] <OCTAGRAM> про Jobs Opportunities толсто
[14:16:36] <OCTAGRAM> ммм, четыре звезды
[14:27:59] <ada_ru> (I_vlxy_I) Про лицензию жесть
[14:28:13] <ada_ru> (I_vlxy_I) Про чистый ООП в Аде тоже
[14:28:25] <ada_ru> (I_vlxy_I) Зато Раст - процедурный
[14:28:57] <ada_ru> (Eugene) действительно, тут ашыпка -- раст функциональный же )))))
[14:30:32] <ada_ru> (I_vlxy_I)  отвечает (Eugene) на <действительно, тут а…>
Он там и функциональный тоже
[14:30:36] <ada_ru> (Eugene) вапще, сейчас среди (русскоязычных) фпшников укрепляется мнение, что название "функциональное программиорвание" -- неверное, правильнее было бы называть "алгоритмическим программированием"
если всякие ООП про иерархии типов, то ФП -- про алгоритмы
[15:33:19] <OCTAGRAM> Дейкстра на ФП как раз-таки не очень хорошо работает
[15:35:18] <OCTAGRAM> может быть, кто-то формализует так, что будут чистые функции, способные произвести результат с уничтожением старого
[15:36:45] <OCTAGRAM> с программной точки зрения натягивание совы на глобус, но с точки зрения того, как по индукции доказывается верность алгоритма, там в доказательстве чистые значения до и после фигурируют
[15:48:13] <ada_ru> (I_vlxy_I)  отвечает на <(OCTAGRAM) может быт…>
Фьюжн всякий. У ghc тонна хитрых оптимизаций на этот счёт
[16:47:15] <ada_ru> (Максим)  отвечает (Eugene) на <http://vschart.com/c…>
Preference 75% (9 votes). 25% (0 votes)
[16:47:33] <ada_ru> (Максим) Это у них так деление на ноль отрабатывает? 😄
[16:58:03] <ada_ru> (I_vlxy_I)  отвечает (Максим) на <Это у них так делени…>
UB же! :-)
[17:09:35] <ada_ru> (Gourytch) https://github.com/tinygo-org/tinygo
посмотреть чтоль...
[17:10:05] <ada_ru> (Gourytch) (Ада-чатик is sooo Ada-ish, да =) )
[17:22:13] <ada_ru> (I_vlxy_I) адИш...
[17:22:53] <ada_ru> (I_vlxy_I) Индусы в индустрии?
[19:33:47] <ada_ru> (Oleg) tinygo нинужен
[19:37:17] <ada_ru> (Gourytch) ну tiny go есть,  tiny C есть. Lua... хотя она и без того tiny. А tiny ada нету.
[19:37:51] <ada_ru> (I_vlxy_I)  отвечает (Gourytch) на <ну tiny go есть,  ti…>
Есть. Прямо в стандарте языка
[19:39:05] <ada_ru> (Gourytch)  отвечает (I_vlxy_I) на <Есть. Прямо в станда…>
стандарт - это идея. quasi uno fantasia. а тут - реализация.
[19:39:27] <ada_ru> (I_vlxy_I)  отвечает (Gourytch) на <стандарт - это идея.…>
Реализации тоже есть
[19:39:55] <ada_ru> (Gourytch) <прислал наклейку> 💰
[19:41:00] <ada_ru> (Gourytch) (хотя да, на гитхабе что-то даже есть)
https://github.com/Mohamed20884/Tada
[19:46:34] <ada_ru> (I_vlxy_I) Тебе же нужен просто нужный профиль
[19:47:19] <ada_ru> (I_vlxy_I) zfp или там ravenscar sfp
[19:47:45] <ada_ru> (I_vlxy_I) Или даже ravenscar full
[20:17:09] <ada_ru> (Gourytch) тоже верно. идея ж не в том чтоб компилятор весил мало, а в том чтобы то что он скомпилил весило мало.
[20:28:32] <ada_ru> (I_vlxy_I) И жрало мало
[20:29:11] <ada_ru> (I_vlxy_I) Ада - единственный язык общего назначения у которого подобное есть прямо в стандарте