[00:11:42] <ada_ru> (Лекс) отвечает (sergey_dukov) на <Поставщики ОС уже да…>
какой адрес у вашего сайта?
[00:12:53] <ada_ru> (sergey_dukov) отвечает (Лекс) на <какой адрес у вашего…>
http://www.rtsdd.ru
[00:14:54] <ada_ru> (shiz01) отвечает (sergey_dukov) на <http://www.rtsdd.ru>
Прошу прощения, но вы верно указали адрес?
[00:15:09] <ada_ru> (shiz01) картинка https://www.ada-ru.org/files/bot/2020-01-11-x1.jpg
[00:15:11] <ada_ru> (shiz01) картинка https://www.ada-ru.org/files/bot/2020-01-11-x2.jpg
[00:22:14] <ada_ru> (sergey_dukov) адрес -то правилный. Но это может быть у меня на севере проблемы, Сейчас попробую зайти на сайт с комьютера в Казахстане.
[00:22:41] <ada_ru> (shiz01) отвечает (sergey_dukov) на <адрес -то правилный.…>
Хорошо, может быть, провайдер блокирует.
[00:43:52] <ada_ru> (sergey_dukov) отвечает (shiz01) на <Хорошо, может быть, …>
это у меня проблемы с DNS. Сейчас буду с этим разбираться.
[00:44:35] <ada_ru> (shiz01) отвечает (sergey_dukov) на <это у меня проблемы …>
Удачной починки неполадок.
[00:44:55] <ada_ru> (sergey_dukov) ок
[01:08:09] <ada_ru> (insert_reference_here) отвечает (sergey_dukov) на <Поставщики ОС уже да…>
<прислал наклейку> 🤔
[01:10:16] <ada_ru> (Лекс) rustRUSTRUSTTT!!!!
[01:10:25] <ada_ru> (Лекс) rustup
[01:10:39] <ada_ru> (insert_reference_here) отвечает (Лекс) на <rustup>
Хорошая вещь, кстати
[01:11:00] <ada_ru> (Лекс) не спорю
[01:37:39] <ada_ru> (I_vlxy_I) хм. а наш код вполне переносим из винды в линух и обратно. ибо требования бузинесса такие. и это ц++
[01:37:56] <ada_ru> (I_vlxy_I) разные компиляторы и разные оси. один язык - с++17
[01:38:53] <ada_ru> (I_vlxy_I) несколько миллионов строк кота
[01:39:05] <ada_ru> (I_vlxy_I) (своего, thirdparty не в счет)
[01:48:44] <ada_ru> (Oleg) Да мой C++ тоже вполне переносим
[01:50:11] <ada_ru> (Oleg) Братцы а как концептуально правильно строить приложение с разными модулями? Ну есть некое ядро , и набор модулей для работы с разным оборудованием, ну и чтоб расширять просто было ?
[01:50:38] <ada_ru> (Oleg) В виде DLL / So как то не хочется хотя можно
[01:51:52] <ada_ru> (Oleg) И как нынче модно IPC делать? Все на сокетах теперь делают ?
[03:59:58] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <И как нынче модно IP…>
Да. Если на одной машине, то через Unix domain sockets
[08:16:11] <ada_ru> (AnatoliyChepiga) отвечает (sergey_dukov) на <http://www.rtsdd.ru>
Сайт до сих пор не открывается
[08:29:04] <ada_ru> (sergey_dukov) отвечает (AnatoliyChepiga) на <Сайт до сих пор не о…>
DNS записи на nic.ru изменились. Но как на root-серверах не знаю. И когда произойдут обновления на серверах провайдоров, тоже не знаю.
[08:30:26] <ada_ru> (AnatoliyChepiga) Спс, подождем...
[13:01:57] <ada_ru> (Лекс) Любопытненько... а дело точно в бабине? https://www.ada-ru.org/files/bot/2020-01-12-x3.jpg
[13:59:08] <ada_ru> (Максим) У меня "умный дом" 😂 https://www.ada-ru.org/files/bot/2020-01-12-x4.jpg
[14:28:59] <ada_ru> (I_vlxy_I) отвечает (Максим) на <>
Купи яндекс.станцию с Алисой!
[14:34:31] <ada_ru> (shiz01) А лучше - сделай сам.
[14:41:55] <ada_ru> (I_vlxy_I) Библиотека для распознавания русской речи на Android и Linux без сети https://opennet.ru/52171/
[15:38:52] <ada_ru> (Oleg) Хорошо что вообще дом есть , и не важно умный или нет
[15:57:34] <ada_ru> (Лекс) отвечает (I_vlxy_I) на <Библиотека для распо…>
> а для Linux можно использовать Python-библиотеку
Как уже достал этот пихон
[17:57:59] <ada_ru> (sergey_dukov) отвечает (shiz01) на <А лучше - сделай сам…>
Попробуй зайти на сайт
[17:59:06] <ada_ru> (I_vlxy_I) отвечает (sergey_dukov) на <Попробуй зайти на са…>
сайт http://www.rtsdd.ru/ открывается
[17:59:36] <ada_ru> (sergey_dukov) 🆗
[18:23:47] <ada_ru> (Максим) отвечает (I_vlxy_I) на <Библиотека для распо…>
Я ещё даже синтез речи не освоил. Делал как-то биндинг к rhvoice на Аде, но затащить его на роутер с openwrt ещё не решился...
[18:35:41] <ada_ru> (I_vlxy_I) моё имхо, что есть сейчас вообще свободная ниша персональных ассистентов безоблачных.
то есть запоминающих привычки пользователя, выдающих ему наиболее подходящие подсказки и варианты в сети (в плане еды, маршрутов на карте, даже рекламы) но которые работали бы локально, без облачных сервисов. чтобы вся информация и кастомизация пользовательская принадлежала бы пользователю
[18:35:57] <ada_ru> (I_vlxy_I) аналогично с умными домами, умными колонками и проч
[18:38:58] <ada_ru> (shiz01) отвечает (sergey_dukov) на <Попробуй зайти на са…>
Работает, интеренсно.
Жаль, конечно, что без vpn зайти не мног.
Ох уж этот ркн...
[18:43:08] <ada_ru> (AnatoliyChepiga) Отлично без ВПН заходится
[18:47:01] <ada_ru> (I_vlxy_I) отвечает (AnatoliyChepiga) на <Отлично без ВПН захо…>
+1
[18:47:14] <ada_ru> (I_vlxy_I) а вот с vpn - наоборот, не заходит 🙂
[18:47:24] <ada_ru> (I_vlxy_I) видимо еще не везде расползлось
[19:43:17] <ada_ru> (vasil_sd) Всем привет!
Может, кто сможет что-нибудь подсказать:
есть проблема c 'use type' внутри определения функции:
package Test is
generic
type T is private;
C : T;
with function "+" (L : T; R: T) return T;
package S is end;
generic
with package S_Inst is new S (<>);
package P is
function F (V : S_Inst.T) return S_Inst.T;
end P;
end Test;
package body Test is
package body P is
use type S_Inst.T; -- <-- works fine
function F (V: S_Inst.T) return S_Inst.T is
-- use type S_Inst.T; <-- does not work, compiler complains: "there is no applicable operator "+" for private type "T" "
begin
return V + S_Inst.C;
end F;
end P;
end Test;
Вопрос собственно в следующем: это я что-то недопонимаю в стандарте, или это глюк компилятора?
[19:43:58] <ada_ru> (vasil_sd) отвечает (vasil_sd) на <Всем привет!
Может,…>
Забыл указать: AdaCore GNAT2019 Community Edition
[22:05:44] <ada_ru> (Максим) отвечает (vasil_sd) на <Забыл указать: AdaCo…>
Похоже компилтор прав, ведь тип T и его операции не в прямой видимости
[22:07:06] <ada_ru> (Максим) (В адском чате вопрос по Аде, снег пойдет..)
[22:14:44] <ada_ru> (I_vlxy_I) отвечает (Максим) на <(В адском чате вопро…>
Москву завалило снегом, кстати.
[22:25:08] <ada_ru> (Максим) отвечает (vasil_sd) на <Забыл указать: AdaCo…>
А, я не заметил второй use type. С ним да, похоже на глюк. Согласен. Напишите баг репорт в АдаКору? письмом на report@adacore.com, в теме должно быть слово GNAT
[22:41:10] <ada_ru> (vasil_sd) отвечает (Максим) на <А, я не заметил втор…>
Спасибо, напишу.
Кстати, GPS со вложенными дженериками тоже не особо дружит. У меня сейчас был случай, когда GPS на попытке вывода подсказки контекстной падал регулярно в segfault. Там был переименованный пакет из пакета-сигнатуры параметра дженерика.
Судя по тому, что проблема решилась переименованием пакета, проблема была видимо в каком-то зацикливании при попытке вычисления имён.
[22:45:29] <ada_ru> (Максим) Сейчас старый парсер в gps переделали на ada language server, наверное перестанет падать в это месте
[22:46:33] <ada_ru> (vasil_sd) отвечает (Максим) на <Сейчас старый парсер…>
А 2019 GPS разве не на labadalang?
[22:48:12] <ada_ru> (Максим) По-моему нет, его только вводят
[22:49:41] <ada_ru> (I_vlxy_I) Важно чтобы там lsp отдельным процессом был и падал бы не утягивая за собой и gps :-)
[22:51:37] <ada_ru> (vasil_sd) отвечает (Максим) на <По-моему нет, его то…>
Ясно. Ну тогда буду надеяться, что в 2020 GPS будет постабильнее.
Вообще, странно видеть, что IDE для языка, позиционируемого, как надёжный и пр, (и сама к тому же частично на этом языке написаная), регулярно падает в segfault. :)
(segfault'ы по несколько раз в день у меня бывают)
Это плохая реклама языку :)
[22:52:42] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <Важно чтобы там lsp …>
Идеально было бы, чтобы оно совсем не падало - это было бы лучшей рекламой языку и технологиям :)
[22:52:49] <ada_ru> (Eugene) софт на аде не имеет права падать )))
[22:52:57] <ada_ru> (I_vlxy_I) Leksah (IDE для хаскелля писанная на нем же) также регулярно сваливается в сегфолт. А ведь это ФП, который априори надежней Ады 🙂
[22:53:24] <ada_ru> (Eugene) лексах пилит какой-то фрик, лексахом кроме него никто больше не пользуется
[22:54:01] <ada_ru> (I_vlxy_I) в списке рассылки лексаховом весьма оживленно. ну и это не важно - хаскель же! Н - Надежность (Нет)
[22:54:24] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <Leksah (IDE для хаск…>
Ну насчёт надёжности хаскеля - это дискуссионно. Там всё-таки надёжность не является приоритетом. Да и кодогенерация у него не сертифицирована. Так что бинари имеют право падать...
[22:56:04] <ada_ru> (vasil_sd) А вот у Ады - надёжность идёт как приоритет чуть ли не номер 1 (судя по рекламе AdaCore).
[23:06:52] <ada_ru> (Максим) отвечает (vasil_sd) на <Идеально было бы, чт…>
Там (в gps) залежи такого кода, приправленное это питоном и завернутое в idle обработчик gtk, что жуть берёт. К сожалению не могу сказать, что со временем код становится лучше ☹️
[23:10:44] <ada_ru> (vasil_sd) отвечает (Максим) на <Там (в gps) залежи т…>
Печально :(
Так как GPS - это для новичков первый крупный проект на Аде (ядро IDE), при начале знакомства с Адой.
И по-хорошему бы для популяризации, это должен быть почти идеальный проект, который бы показывал как правильно на Аде делать большие проекты и как их сопрягать с другими технологиями (GTk, Pyhton и пр)
[23:12:33] <ada_ru> (Максим) У создателей были/есть другие цели ☺️
[23:23:06] <ada_ru> (I_vlxy_I) отвечает (vasil_sd) на <Печально :(
Так как…>
А vscode не надёжней ли? ;-) js + c++ :-)
[23:24:37] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <А vscode не надёжней…>
vscode не пользуюсь, поэтому не знаю. Но вроде js и плюсы, как языки, по-другому рекламируют, там надёжность далеко не на первом месте. Поэтому им можно падать :)
[23:25:12] <ada_ru> (I_vlxy_I) вроде целиком vscode не падал пока ни разу
[23:25:45] <ada_ru> (I_vlxy_I) отказы бывают, но к полному краху это не приводит (например подсветка синтаксиса дурила для с++)
[23:26:11] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <вроде целиком vscode…>
Ну вот. И как привлекать разработчиков на Аду, если плюсовая IDE работает стабильнее Адовой? :)
[23:28:58] <ada_ru> (I_vlxy_I) ну, может скорость разработки выше? так как переделывать меньше раз нужно
[23:31:29] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <ну, может скорость р…>
Эти аргументы начинают осознаваться только после того как какое-то время поработаешь с Адой.
А сейчас я вот коллегам (хардкорным плюсовикам) рассказываю про всякие интересные фишки из Ады, и вдруг кто захочеть попробовать, а тут IDE постоянно падает.
Антиреклама получится :)
[23:31:50] <ada_ru> (I_vlxy_I) дык пусть юзают vim, как обычно. и всё
[23:32:09] <ada_ru> (I_vlxy_I) если плюсовики реально хардкорные 🙂
[23:32:15] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <дык пусть юзают vim,…>
Сейчас народ избалован CLion и пр.
[23:33:23] <ada_ru> (vasil_sd) Это я и ещё парочка старожилов, которые ещё на асме и машкодах Z80 прогали, можем vim, emacs и пр.
А молодёжь уже нежная, избалованная
[23:35:03] <ada_ru> (I_vlxy_I) отвечает (vasil_sd) на <Это я и ещё парочка …>
фигня. куча студентоты пишет на виме. больше половины яндекса юзают вим 🙂 ведь локально проект даже и не собрать
[23:36:24] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <фигня. куча студенто…>
:))) Я сейчас в Яндексе работаю. Тут очень популярны поделки JetBrains. Vim - в меньшинстве (во всяком случае в моём обозримом окружении)
[23:37:17] <ada_ru> (I_vlxy_I) отвечает (vasil_sd) на <:))) Я сейчас в Янде…>
яндекс разный же 🙂 а в каком именно яндексе? БЮ, аль Империя?
[23:37:23] <ada_ru> (I_vlxy_I) я в яндекс.такси работал
[23:37:54] <ada_ru> (I_vlxy_I) а вот @Gourytch и сейчас работает 🙂
[23:38:13] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <яндекс разный же 🙂 а…>
Империя.
Такси немного особняком до сих пор, не сильно в курсе как и что там.
[23:38:38] <ada_ru> (I_vlxy_I) отвечает (vasil_sd) на <Империя.
Такси немно…>
москва?
[23:38:44] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <москва?>
ага
[23:39:17] <ada_ru> (I_vlxy_I) отвечает (vasil_sd) на <ага>
на ц++ митап пойдешь 23 января? 🙂
[23:40:11] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <на ц++ митап пойдешь…>
Не люблю ц++. Поэтому вряд ли.
Вот если бы Ада митап, или OCaml, или на худой конец Haskell - тогда бы может быть :))
[23:41:46] <ada_ru> (I_vlxy_I) отвечает (vasil_sd) на <Не люблю ц++. Поэтом…>
там будет в основном про компиляторы и инструментирование кода
[23:41:57] <ada_ru> (sergey_dukov) отвечает (vasil_sd) на <Всем привет!
Может,…>
Я уже ответил на [ada_ru]. Компилятор работает правильно. Нечего грешить на GNAT. Дженерики предельно простыми и прозрачными, а у вас не поймёш, что относится к S, что к S_Inst, а что к P. И я даже представить себе не могу как можно определить фактическую инстанцию дженерик-пакета P. В примере вы этого не воспроизвели.
[23:42:05] <ada_ru> (I_vlxy_I) год начнется с низости на митапе
[23:43:44] <ada_ru> (vasil_sd) отвечает (sergey_dukov) на <Я уже ответил на [ad…>
Насколько я понимаю стандарт, там не должно быть разницы в use type на уровне пакета и в определении функции. А компилятор в одном случае нормально затягивает в область видимости оператор в другом нет.
[23:44:16] <ada_ru> (I_vlxy_I) @vasil_sd а на чем в империи пишешь? на плюсах же небось!
[23:44:54] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <@vasil_sd а на чем в…>
Да, и очень много. Но считаю этот язык плохим для крупных проектов.
[23:45:13] <ada_ru> (I_vlxy_I) отвечает (vasil_sd) на <Да, и очень много. Н…>
поиск или карты на Аде были бы лучше?
[23:46:48] <ada_ru> (Oleg) Парни, а нынче передавать в функцию указатель на структуру и там ее заполнять совсем плохо?
[23:46:52] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <поиск или карты на А…>
С точки зрения перформанса - скорее всего была бы просадка, но это устранимо горизонтальным масштабированием.
С точки зрения скорости разработки и поддержки проектов - был бы очень серьёзный выигрышь
[23:47:38] <ada_ru> (I_vlxy_I) отвечает (vasil_sd) на <С точки зрения перфо…>
ну, то есть в одном потеряли бы в деньгах, в другом выиграли бы. нужно только оценить где было бы больше
[23:47:52] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <Парни, а нынче перед…>
в каком языке?
[23:48:56] <ada_ru> (Oleg) Безотносительно языка но например Go/Cpp
[23:49:06] <ada_ru> (Oleg) Да и Ада
[23:49:33] <ada_ru> (Oleg) Ну то есть структура то тоже не простая а куча данных
[23:49:53] <ada_ru> (I_vlxy_I) если цпп, то там есть как бы конструкторы для подобных штук
[23:50:00] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <ну, то есть в одном …>
Стоимость времени разработчиков сейчас намного-намного больше стоимости работы серверов.
Как кто-то из манагеров сказал, что дороже всего Яндексу обходятся программеры.
[23:50:56] <ada_ru> (Oleg) отвечает (I_vlxy_I) на <если цпп, то там ест…>
Хм, возможно, надо почитать
[23:51:11] <ada_ru> (vasil_sd) отвечает (Oleg) на <Парни, а нынче перед…>
Тут безконтекста не понятно.
Но я бы так делать точно не стал бы. Указатели - большое зло.
[23:51:27] <ada_ru> (I_vlxy_I) отвечает (vasil_sd) на <Стоимость времени ра…>
а что Rust? яндексу вот производительность ведь тоже важна. нельзя просто взять и кликхаус или YT переписать на Аде или js каком.
[23:52:20] <ada_ru> (Oleg) отвечает (vasil_sd) на <Тут безконтекста не …>
Ну например, список оборудования, в нем список состава каждой единицы, и так далее. Каждая функция заполняет свои данные
[23:52:52] <ada_ru> (Oleg) Ну такое дерево получается , но ветки заполняются не за раз
[23:53:11] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <а что Rust? яндексу …>
На мой взгляд Rust лучше плюсов существенно, но сложнее в освоении чем Ада и в поддержке, как мне кажется, будет тяжелее ибо читабельность хуже, модульность и тд.
[23:53:28] <ada_ru> (sergey_dukov) отвечает (vasil_sd) на <Насколько я понимаю …>
Да нет, разница есть. Если определение в теле дженерик-пакета, — это уточнение определения формального типа. Если в теле функци, это уже определение объекта используемого функцией и тип этого объекта должен быть точно определён.
[23:54:09] <ada_ru> (vasil_sd) отвечает (sergey_dukov) на <Да нет, разница есть…>
А можно ссылку на пункты стандарта, а то я вот смотрел, но видимо в упор не увидел
[23:56:04] <ada_ru> (I_vlxy_I) отвечает (vasil_sd) на <На мой взгляд Rust л…>
о! хочу предсказание!
берем плюсовика закоренелого. он пишет (на плюсах по тьюториулу) некую прогу, не шибко сложную и не шибко большую. но в новой для него доменной области. скажем строчек на 500-700.
а потом он эту же прогу пишет на Аде и на Rust. На каком из этих двух языков быстрее достигнет результата/потратит меньше времени?
Аду и Раст пусть знает одинаково - что-то слышал, но ничего особо не писал.
[23:56:32] <ada_ru> (vasil_sd) отвечает (Oleg) на <Ну например, список …>
Может тогда и дерево конструировать постепенно? И аппликативно добавлять нужную информацию?
[23:57:11] <ada_ru> (Oleg) отвечает (vasil_sd) на <Может тогда и дерево…>
Можно, вобще надо подумать, пока работает и слава богу
[23:57:22] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <о! хочу предсказание…>
Думаю на Аде быстрее будет.
Ибо borrowing в расте немного мозг попудрит
[23:57:27] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <Можно, вобще надо по…>
юзай бидэ сразу!
[23:57:44] <ada_ru> (Oleg) отвечает (I_vlxy_I) на <о! хочу предсказание…>
Думаю все же от документации и примеров зависит
[23:57:53] <ada_ru> (I_vlxy_I) отвечает (vasil_sd) на <Думаю на Аде быстрее…>
ну, по ощущениям что такое borrowing плюсовик должен вкурить очень быстро.
[23:58:16] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <ну, по ощущениям что…>
Не факт. move семантика всё-таки сильно отличается
[23:58:19] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <Думаю все же от доку…>
к моменту когда он будет реализовывать код на Аде или Расте, у него уже будет опыт реализации ровно этого же на С++
[23:58:47] <ada_ru> (Oleg) Ну тогда думаю раст , как это не печально, победит
[23:58:49] <ada_ru> (I_vlxy_I) с thirdparty либами дела иметь не надо
[23:58:58] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <Ну тогда думаю раст …>
Вау! А почему?