[10:27:46] <ada_ru> (I_vlxy_I) https://github.com/AdaCore/ada-spark-rfcs/issues/26
[10:28:13] <ada_ru> (I_vlxy_I) Ужель что-то похожее на fmtlib?
[10:29:13] <ada_ru> (t91x0) отвечает (Лекс) на <Ок, просто встречал …>
Пишите на rust
[10:31:23] <ada_ru> (I_vlxy_I) отвечает (t91x0) на <Пишите на rust>
а у него когда первый стандарт выйдет?
[10:33:18] <ada_ru> (t91x0) отвечает (I_vlxy_I) на <а у него когда первы…>
Лет через 10, а то и позже
[10:33:57] <ada_ru> (I_vlxy_I) ну, тогда нет повода не использовать Аду 🙂
[10:34:11] <ada_ru> (I_vlxy_I) элементы Ады 202х уже реализованы в gnat
[10:34:20] <ada_ru> (I_vlxy_I) можно пользоваться тем, что есть
[10:38:06] <ada_ru> (Vinpuh) Да но rust нет фатального недостатка Ada.
[10:38:32] <ada_ru> (I_vlxy_I) это какого недостатка?
[10:53:49] <ada_ru> (t91x0) отвечает (I_vlxy_I) на <это какого недостатк…>
Sergei тут уже рассказывал про особенности реализации контейнеров в Аде, где нужно самому выписывать 15 типов, когда в c++ компилятор сам их выведет.
[10:53:50] <ada_ru> (t91x0) Rust здесь ближе к плюсам
[10:56:25] <ada_ru> (Vinpuh) Rust в купе бесплатный и свободный. У него появились уже дельные вводные, курсы включая на русском языке. У него cargo, он сносно поддерживается ide, он может более менее нормально в web, у него есть нормальный orm. А у Ада?
[11:00:15] <ada_ru> (t91x0) отвечает (Vinpuh) на <Rust в купе бесплатн…>
Ну аде зато ide не особо нужен.
[11:01:24] <ada_ru> (Vinpuh) отвечает (t91x0) на <Ну аде зато ide не о…>
Да rust в принципе тоже. Но как бы все уже отвыкли в 80% случаев кодить в блокнотике.
[11:07:30] <ada_ru> (Gourytch) отвечает (t91x0) на <Ну аде зато ide не о…>
нормальный IDE нужен не языку, но тому, кто с ним работает. удобство и комфорт
Собссно, почему борланд паскаль в своё время и взлетел в среде обывателей от программирования до луны и выше.
[11:10:18] <ada_ru> (I_vlxy_I) отвечает (Vinpuh) на <Rust в купе бесплатн…>
И у Ады да.
[11:10:45] <ada_ru> (I_vlxy_I) Разве что с рашшн уроками так себе. Но они не нужны.
[11:11:27] <ada_ru> (I_vlxy_I) Бесплатный свободный компилятор, поддержка IDE, всякое такое.
[11:14:26] <ada_ru> (I_vlxy_I) А вот есть у раста платный компилятор? Или хотя бы нормальный платный саппорт?
[11:15:05] <ada_ru> (Vinpuh) отвечает (I_vlxy_I) на <Разве что с рашшн ур…>
Вот видите, вы решили, что они не нужны, а Алексей Кладов решил, что по Rust нужны, и создал курс, очень неплохой курс. Как итог, у rust растет сообщество, а значит повышается его нужность.
[11:16:09] <ada_ru> (I_vlxy_I) отвечает (Vinpuh) на <Вот видите, вы решил…>
Я никогда не понимал зачем по языку именно что курсы, а не книги и доки и, тем более, зачем они на русском
[11:16:30] <ada_ru> (I_vlxy_I) Может ещё и интерфейс IDE и сообщения компилятора локализовать?
[11:19:41] <ada_ru> (t91x0) отвечает (I_vlxy_I) на <Я никогда не понимал…>
Книги на русском- это очень удобно
[11:20:20] <ada_ru> (I_vlxy_I) отвечает (t91x0) на <Книги на русском- эт…>
Книги - иногда. Но курсы?
[11:20:26] <ada_ru> (I_vlxy_I) На курсах и так плотность материала обычно низкая.
[11:28:22] <ada_ru> (Vinpuh) отвечает (I_vlxy_I) на <Я никогда не понимал…>
Нормальные курсы объясняют тонкие места и особенности, человек на входе машинально ищет курсы, что-то на родном языке воспринимается быстрее проще, то что не нужно ничего локализовывать, это дурость только в РФ, по Pharo Smalltalk inria выпустила курс, и курс изначально появился...? На французском языке, потом его переозвучили на английский и при этом добавили субтитры на испанском, японском. Правда ужос и никто не задавался вопросом и не восклицал, а зачем это нужно.
[11:29:27] <ada_ru> (I_vlxy_I) В условиях ограниченности ресурсов не стоит тратить время на второстепенные задачи.
[11:32:36] <ada_ru> (I_vlxy_I) Проблема Ады не в курсах (тем более что их в университетах читают в рамках общей программы, в том числе и на русском), а в позиционировании языка.
Про что я писал (и не только я) выше.
[11:34:00] <ada_ru> (I_vlxy_I) Boeing oriented language имеет свои недостатки в плане образовывания инфраструктуры и открытого сообщества вокруг
[11:37:10] <ada_ru> (Vinpuh) Проблемы Ада комплексные, и проблемы даже распространения в РФ в том числе отсутствие, если оценивать относительно других языков, вообще русскоязычных материалов 0. В этом отношении Ада даже хуже Оберон сообщества, у них даже свое типа радио есть, и они не чураются локализаций.
[11:38:46] <ada_ru> (I_vlxy_I) Радио немного померло
[11:41:32] <ada_ru> (I_vlxy_I) Курсами и рекламой сыт не будешь.
[11:43:59] <ada_ru> (I_vlxy_I) Чтобы построить сарай на лето ты не будешь проектированием заниматься, вбивать сваи, рассчитывать прочность конструкций.
Ты возьмёшь те инструменты и материалы которые позволят как можно быстрее его построить.
Софтостроение в основном начинается с сарая. Который потом достраивают.
[11:46:11] <ada_ru> (I_vlxy_I) Таким образом нужно Аде придать нечто, что сделает ее конкурентной при строительстве сараев, а не небоскрёбов.
[11:47:06] <ada_ru> (Gourytch) был bush, но как-то подох... хотя он и не жил никогда.
[11:51:27] <ada_ru> (I_vlxy_I) отвечает (Gourytch) на <был bush, но как-то …>
Это кто такое?
[11:51:40] <ada_ru> (Gourytch) отвечает (I_vlxy_I) на <Это кто такое?>
business shell
[11:52:00] <ada_ru> (Gourytch) http://bush.sourceforge.net/bushguide.html
[12:15:25] <ada_ru> (t91x0) отвечает (I_vlxy_I) на <Книги - иногда. Но к…>
При том, что я могу вести деловую переписку и общаться на форумах на английском, мне неудобно и неприятно слушать англоязычные курсы. Впрочем, я и русском-то их посчитай что и не проходил, обходясь книгами.
[12:42:16] <ada_ru> (I_vlxy_I) отвечает (Vinpuh) на <Нормальные курсы объ…>
Даже нормальные курсы дают очень неравномерное знание материала.
Я много общаюсь с людьми прошедшими очередной (хороший!) курс по языку XXX, знания очень фрагментарные и поверхностные в итоге. Появляется знание тонкостей языка без понимания этих тонкостей и к чему это ведёт. При этом есть недопонимания и некоторых базовых вещей.
[12:42:56] <ada_ru> (I_vlxy_I) Курсы (особенно видеокурсы) - для ленивых.
[12:46:57] <ada_ru> (Vinpuh) Курсы это прежде всего узнаваемость, второе востребованность. Если по языку нет курсов, то значит он не нужен. Если он не нужен значит.....
[12:48:14] <ada_ru> (I_vlxy_I) От того что появится курс нечто востребованней не станет.
[12:50:33] <ada_ru> (I_vlxy_I) Если тебе в любом случае строить сарай, то ты не будешь юзать экскаватор чтобы вырыть траншею под фундамент даже если прошёл курсы экскаваторщика
[12:54:11] <ada_ru> (Лекс) отвечает (t91x0) на <Пишите на rust>
В ржавчине мне только модель управления памятью нравится. Семантика сложная, синтаксис вообще вырвиглазный. Язык меняется от релиза к релизу, нужно быть психом чтобы взять его за платформу для долгостроя — придется ещё и обезьянью работу делать по регулярному обтачиванию под изменениизменения языка.
Thanks, no. We love Ada and our choice — Ada.
[12:57:20] <ada_ru> (t91x0) отвечает (Лекс) на <В ржавчине мне тольк…>
Синтаксис там конечно так себе. Перл, плюсы и скала разом.
Некоторые конструкции из символов вроде скобочек могли бы иметь альтернативу в виде ключевых слов
[12:57:24] <ada_ru> (Лекс) отвечает (I_vlxy_I) на <Если тебе в любом сл…>
Мой преподователь по нормированию точности как-то рассказывал, что он при бытовых ремонтных работах всегда начинает с чертежа — как итог результат за который не стыдно и который не выглядит как типичное "состряпал по рукожопцки".
[12:58:53] <ada_ru> (I_vlxy_I) отвечает (Лекс) на <В ржавчине мне тольк…>
https://bash.im/quote/397386
[12:59:26] <ada_ru> (t91x0) отвечает (Лекс) на <Мой преподователь по…>
Хоть это совсем оффтоп, но это видео по-моему, очень близко к айти
https://youtu.be/vHhN2z59H2w
[12:59:34] <ada_ru> (Eugene) отвечает (Лекс) на <В ржавчине мне тольк…>
проблему с меняющимся языком они там решают указыванием версии языка, так что в принципе можно заморозить старые части проекта на старой версии языка, а новые части уже делать на новой версии
[13:00:53] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <проблему с меняющимс…>
Нельзя. У тебя в итоге будет 20 версий языка в проекте использоваться. И все - старые.
[13:01:29] <ada_ru> (Лекс) отвечает (Eugene) на <проблему с меняющимс…>
А можно написать на надежном и адекватном языке.
Это точно комьюнити Ады?
[13:02:51] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <Нельзя. У тебя в ито…>
да и пофиг, главное что бы компилировалось)))
[13:02:52] <ada_ru> (I_vlxy_I) отвечает (Лекс) на <Мой преподователь по…>
Профдеформация :-)
[13:03:06] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <да и пофиг, главное …>
Так себе критерий
[13:03:42] <ada_ru> (t91x0) отвечает (I_vlxy_I) на <Если тебе в любом сл…>
Это потому что у людей нет халявных экскаваторов.
Но у нас-то есть!
[13:03:55] <ada_ru> (Лекс) отвечает (I_vlxy_I) на <Так себе критерий>
А вот и нет.
[13:04:35] <ada_ru> (Лекс) отвечает (Eugene) на <да и пофиг, главное …>
А поддерживать-то зачем, как-нибудь и так пусть будет? 😏
[13:04:53] <ada_ru> (I_vlxy_I) отвечает (Лекс) на <А вот и нет.>
Э?
[13:08:31] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <Так себе критерий>
Раз компилируется, значит правильное! Вот таким должен быть идеал в прогрммировании
[13:17:38] <ada_ru> (Anonymus62) отвечает (Eugene) на <Раз компилируется, з…>
А то что для поддержки сего кода другим программистом, он должен устраивать танцы с бубном и молится Омнисии, чтоб всё заработало?
И судорожно искать нужную версию компилятора?
[13:19:24] <ada_ru> (Лекс) отвечает (Anonymus62) на <А то что для поддерж…>
Ладно версию искать — сколько версий языка ему знать придется) А если не дай бог придется какую либу заменить на актуальную...
[13:21:36] <ada_ru> (Anonymus62) отвечает (Лекс) на <Ладно версию искать …>
во-во.
то либо переписывать под старую версию - что мазохизм.
Или переписывать основной проект под новую - что ещё больший мазохизм.
[13:22:12] <ada_ru> (Максим) отвечает (Eugene) на <Раз компилируется, з…>
Назовём баги - фичами и покатит 😄
[13:28:05] <ada_ru> (Eugene) отвечает (Anonymus62) на <А то что для поддерж…>
Есть такое слово - автоматизация. Билд система сама скачает нужные версии компилятора и либ...
[13:33:34] <ada_ru> (Eugene) отвечает (Лекс) на <В ржавчине мне тольк…>
> We love Ada and our choice — Ada.
так-то если вспомнить, то и у Ады были ломающие изменения от стандарта к стандарту...
[13:35:33] <ada_ru> (Максим) Например?
[13:36:01] <ada_ru> (Лекс) отвечает (Eugene) на <> We love Ada and ou…>
Сколько лет живет стандарт Ады? 😉 А сколько лет, за это время было растов всяких
[13:43:30] <ada_ru> (t91x0) отвечает (Лекс) на <Сколько лет живет ст…>
За всё это время ничего сравнимого не было. Хаскель разве что.
[13:44:13] <ada_ru> (Лекс) Это вы про сравнение с растом?
[13:46:20] <ada_ru> (Лекс) Если в мейнстрим не стреляло, то не значит что не было.
Раст например по сути продолжение канувшего Cyclone, только первый был вменяемей по семантике и синтаксису.
[14:00:08] <ada_ru> (I_vlxy_I) Но для прикольного модного сарая раст неплох :-)
[14:00:32] <ada_ru> (Максим) По Аде 83 просто море книжек на русском. По Ада 95 есть "Адское программирование" А. Гаввы. По Ада 2012 есть обзор нововведений. Есть мой перевод "Безопасное и надежное ПО", есть переводы Киркорова "Ада для С/С++ программистов" и огромный сборник переводов Gems
[14:00:36] <ada_ru> (I_vlxy_I) Один фиг выбрасывать
[14:01:21] <ada_ru> (Максим) Хотите больше, присоединяйтесь, переведём Rationale Ada 2012
[14:01:24] <ada_ru> (Eugene) отвечает (Максим) на <Например?>
Ada 83 -> Ada 95
http://archive.adaic.com/intro/tech/8395comp.html
Ada 95 -> Ada 2005
http://www.hep.by/gnu/gcc/gnat_ugn_unw/Compatibility-between-Ada-95-and-Ada-2005.html
Ada 2005 -> Ada 2012
http://www.ada-auth.org/standards/12rat/html/Rat12-9-1-1.html
[14:02:02] <ada_ru> (Максим) Это всё мелочи. Они никак не влияют на реальные проекты
[14:02:31] <ada_ru> (Максим) Из того, что реально я встречал лишь конфликт ключевого слова interface
[14:03:06] <ada_ru> (Eugene) отвечает (Максим) на <Это всё мелочи. Они …>
ну так и про растовские изменения можно сказать -- всё это мелочи, реальных проектов всё равно нет, так что ни на что не влияет...
[14:03:23] <ada_ru> (Максим) Аду никак не упрекнуть в нарушении совместимости, к этому относятся через чур серьезно с моей точки зрения
[14:04:21] <ada_ru> (Максим) Да раст вообще не язык, с точки зрения ISO 😄
[14:04:36] <ada_ru> (Максим) так, игрушки
[14:05:06] <ada_ru> (I_vlxy_I) отвечает (Максим) на <Да раст вообще не яз…>
+1 :-)
Но с точки зрения ISO языков вообще очень мало
[14:05:31] <ada_ru> (Максим) Ну вот за С++ я горд 😊
[14:05:45] <ada_ru> (Максим) ГОСТ-а нет, но хоть ISO есть 😄
[14:06:06] <ada_ru> (Максим) А для Ады даже ГОСТ есть 😂
[14:06:21] <ada_ru> (I_vlxy_I) И, увы, редко это является критерием при выборе языка для проекта :-/
Только если мы сразу знаем, что строим небоскрёб, а не сарай, который может быть когда-нибудь разрастется в небоскреб
[14:07:07] <ada_ru> (Eugene) отвечает (Максим) на <А для Ады даже ГОСТ …>
с точки зрения ГОСТа всё что новее Ады83 -- всё ересь!
[14:08:38] <ada_ru> (Eugene) в мире ФП ISO стандарт только на ISLisp мало кому известный, больше стандартов вроде и нету
[14:09:29] <ada_ru> (Oleg) картинка https://www.ada-ru.org/files/bot/2019-08-08-x4.jpg
[14:09:34] <ada_ru> (Oleg) :-)
[14:09:51] <ada_ru> (Oleg) С серпом
[14:10:15] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <С серпом>
Ржавым? ;-)
[14:10:38] <ada_ru> (Eugene) ISO-87, а это и есть Ada-83
[14:11:27] <ada_ru> (Eugene) когда я спросил у одного из комитетчиков Хаскелля, ест ли надежда на ISO-стандарт хаскеля, он сказал: "Нет."
[14:14:06] <ada_ru> (Максим) ГОСТ - это хоть и выглядит смешно сейчас, но работа которую они проделали по выработке терминалогии очень суечас полезна и важна, мне кажется
[14:15:59] <ada_ru> (I_vlxy_I) Терминология это хорошо, но есть вероятность что она настолько самобытна, что современный читатель ее просто не поймёт.
[14:16:04] <ada_ru> (Максим) я вот набрел на страничку в википедии, посмотрел и быстро-быстро закрыл:
[14:16:08] <ada_ru> (Максим) > Початковий код (англ. source code; також перекладається українською як вихідний код, програмний код, джерельний код, первинний код, текст програми, першокод[1], у професійному середовищі також сирцевий код, у контексті код або сирці)
[14:16:21] <ada_ru> (I_vlxy_I) Ибо для этих (или похожих) сущностей уже сложилась (стихийно) другая практика.
[14:17:17] <ada_ru> (Максим) Да врядли, изменения в Аде не столь координальны, мне кажется
[14:17:27] <ada_ru> (t91x0) Кардинальны
[14:17:31] <ada_ru> (I_vlxy_I) Помню читал гост на h264 - это был ужас и кошмар
[14:18:12] <ada_ru> (I_vlxy_I) отвечает (Максим) на <Да врядли, изменения…>
У Ады даже на английском терминология другая :-)
[14:18:24] <ada_ru> (I_vlxy_I) Не как все остальные привыкли
[14:22:02] <ada_ru> (I_vlxy_I) Использование Ады для мелких программ-однодневок стороннему наблюдателю может быть схоже с использованием обтекателя боеголовки ракеты у себя на огороде в качестве бочки для воды.
[14:25:42] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <Использование Ады дл…>
ну, старые подвесные топливные баки можно увидеть как баки с водой в душе на огородах
[14:27:25] <ada_ru> (t91x0) Некоторые особо стойкие соотечественники, близкие к Ж/Д строили себе дома из шпал.
[14:53:45] <ada_ru> (I_vlxy_I) отвечает (t91x0) на <Некоторые особо стой…>
Из бетонных или деревянных?
[14:54:09] <ada_ru> (t91x0) отвечает (I_vlxy_I) на <Из бетонных или дере…>
Из деревянных
[14:55:50] <ada_ru> (I_vlxy_I) Ну это ещё ладно :-)
[14:56:36] <ada_ru> (t91x0) Так воняют же креозотом
[14:56:47] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <Ну это ещё ладно :-)>
так они ж е пропитаны какой-то смазкой, а она наверняка вредная
[14:57:32] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <так они ж е пропитан…>
Будто утеплитель в современных домах офигенно полезен.
[14:58:40] <ada_ru> (t91x0) отвечает (I_vlxy_I) на <Будто утеплитель в с…>
Конкретно креозот просто токсичен в сравнении с современными утеплителями.
[15:03:58] <ada_ru> (I_vlxy_I) отвечает (t91x0) на <Конкретно креозот пр…>
Прочитал про него. Жесть.
[15:19:35] <ada_ru> (Лекс) А давайте все вместе напишем байдинг к Qt6? (Выходит в след году)
[15:22:40] <ada_ru> (Eugene) отвечает (Лекс) на <А давайте все вместе…>
а почему не к SDL2?
[15:23:10] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <а почему не к SDL2?>
Он уже есть потому что
[15:23:18] <ada_ru> (I_vlxy_I) И это разные вещи
[15:23:26] <ada_ru> (Лекс) Потому что болтшинству прикладных программистов нужна хорошая гуйня?
[15:24:06] <ada_ru> (Eugene) Qt -- это что-то большое и тормозное, зачем оно вообще нужно?
[15:24:33] <ada_ru> (Лекс) После попыток потыкать в GTK и его извращенский Glade, больше гуй делать не хочется😂
[15:25:33] <ada_ru> (Лекс) Qt5 не тормозной и не такой уж большой (не нужно юзать js и будет быстро), а в шестерке еще и qml оптимизируют.
[15:25:43] <ada_ru> (Eugene) ГУИ надо делать так, что бы его легко можно было переделать при необходимости в WebUI, например
есть ли что-то такое для ады?
[15:25:52] <ada_ru> (Лекс) Опубликован план развития функциональности Qt 6 https://opennet.ru/51238/
[15:27:37] <ada_ru> (Лекс) В Аде сейчас вообще нет кутэ байдинга, для пятого имхо уже поздновато писать, рас шестой на подлете.
[15:28:49] <ada_ru> (Eugene) отвечает (Лекс) на <В Аде сейчас вообще …>
нету? наверное это неспроста )))
[15:29:17] <ada_ru> (Лекс) У меня на адроиде кстати летает common lisp + qt5, весит пару мегабайт и работает быстрее модных "нативных скрыптов".
Это к размеру и скорости кутэ
[15:30:22] <ada_ru> (Лекс) отвечает (Eugene) на <нету? наверное это н…>
Наверное это случилось после того как мейнтейнер байндинга на кутэ4 перестал вкладываться в байдинг, но это не точно😏
[15:53:44] <ada_ru> (I_vlxy_I) отвечает (Лекс) на <В Аде сейчас вообще …>
Как нету? Недавно анонс был очередной версии
[15:55:03] <ada_ru> (I_vlxy_I) https://groups.google.com/group/comp.lang.ada/t/f247659970d43250?utm_source=digest&utm_medium=email
[16:03:59] <ada_ru> (Лекс) отвечает (I_vlxy_I) на <Как нету? Недавно ан…>
Искал в интырнете по запросу ada qt binding и не нашёл ничего кроме следов некогда существовавшего байдинга на кутэ4
[16:04:09] <ada_ru> (Лекс) картинка https://www.ada-ru.org/files/bot/2019-08-08-x5.jpg
[16:04:39] <ada_ru> (I_vlxy_I) :-)
[16:05:36] <ada_ru> (I_vlxy_I) Ну, собственно вот. Счастье есть!
[16:06:00] <ada_ru> (Лекс) отвечает (I_vlxy_I) на <https://groups.googl…>
🙏 Спасибо)
[16:07:20] <ada_ru> (Лекс) Хорошо бы добавить линк на эту либу на ада-ру.орг и в адашные вики ☺️
[16:08:57] <ada_ru> (Лекс) https://en.m.wikibooks.org/wiki/Ada_Programming/Libraries/GUI дезориентирует😔
[16:14:47] <ada_ru> (Lieutenant_Commander_Data) https://github.com/godunko/qtada5
[16:57:13] <ada_ru> (Максим) Да, была идея сделать нормальный биндинг к qt. Нужен генератор файлов. Мы пробовали приспособить для этого готовый API от qt, но там не хватает каких-то вещей. Думали делать свой, но как-то заглохло...
[17:06:50] <ada_ru> (Eugene) а эта инструкция 12-летней давности наверное уже устарела?
https://www.ada-ru.org/wiki/qtada
[17:14:15] <ada_ru> (I_vlxy_I) отвечает (Максим) на <Да, была идея сделат…>
А текущий биндинг плохой? К Qt5.
[17:15:05] <ada_ru> (Максим) Я его не пробовал
[17:16:17] <ada_ru> (Максим) Eugene да, устарела
[17:29:09] <ada_ru> (Eugene) http://www.dmitry-kazakov.de/ada/aicwl.htm
[17:34:30] <ada_ru> (Eugene) https://r3fowwcolhrzycn2yzlzzw-on.drv.tw/AdaStudio/
[17:34:56] <ada_ru> (Eugene) поковырялся — довольно немало так софта на аде наколбасили-то, куда там оберону какому-нить
[17:47:02] <ada_ru> (Anonymus62) Компиляция ады на андройде, в эмуляторе x86_64 работает.
теперь можно билдить маленькие проекты с телефона.
[17:47:06] <ada_ru> (Anonymus62) картинка https://www.ada-ru.org/files/bot/2019-08-08-x6.jpg
[18:51:08] <ada_ru> (Лекс) отвечает (Anonymus62) на <Компиляция ады на ан…>
что за эмулятор?
[18:56:33] <ada_ru> (I_vlxy_I) Думаю обычный, что с андроид студией идёт
[19:10:35] <ada_ru> (Anonymus62) отвечает (I_vlxy_I) на <Думаю обычный, что с…>
Неее.
У меня физичечкое устройство андроид - honor 9, без рута.
На нём поднял qemu x8664, с альпином.
И в нём билдил.
[19:11:39] <ada_ru> (Anonymus62) Т.е. бинарник на выходе обычный, 64-битный эльф
[19:12:00] <ada_ru> (Anonymus62) При хост систеие armv8 (она же aarch64)
[19:12:14] <ada_ru> (I_vlxy_I) Жесть
[19:12:22] <ada_ru> (I_vlxy_I) А без эмулятора нельзя?
[19:12:26] <ada_ru> (t91x0) отвечает (Anonymus62) на <Неее.
У меня физичеч…>
А нет ли самого компилятора под arm?
[19:13:10] <ada_ru> (I_vlxy_I) Есть! В репах
[19:13:34] <ada_ru> (Anonymus62) есть, и даже работает, но слинковать при билде не даёт.
при ручной линковке оно линкуется, но SeLinux не даёт запустить бинарник.
[19:14:06] <ada_ru> (Anonymus62) Вот и приходиься в эмуляторе, шоб selinux не ругался.
[19:14:31] <ada_ru> (Anonymus62) а если на ведре есть рут, то отключить его в два тыка.
[19:14:43] <ada_ru> (Anonymus62) И можно билдить под телефон на аде.
[19:15:09] <ada_ru> (Anonymus62) Но только для устройств с отключеным се линуксом.
[19:20:47] <ada_ru> (Anonymus62) И делайте make check
[19:21:24] <ada_ru> (Anonymus62) А то, когда я lfs под aarch64 собирал - оно собиралось, но не работало
[19:21:37] <ada_ru> (Лекс) эм... а почему бы не состряпать работающий энвироумент под termux? я в нём и веб-фреймворки гоняю и код компилял в llvm
[19:22:35] <ada_ru> (Anonymus62) отвечает (Лекс) на <эм... а почему бы не…>
А можно для тупых, что такое энвироумент?
[19:24:16] <ada_ru> (Лекс) ну чтобы тулчейн работал как нужно и gprbuild туда же) Environment
[19:26:10] <ada_ru> (Лекс) Кстати, кто-нибудь читал? Стоит читать? https://www.ada-ru.org/files/bot/2019-08-08-x7.jpg
[19:27:31] <ada_ru> (Anonymus62) отвечает (Лекс) на <ну чтобы тулчейн раб…>
Можно, но проги написанные на аде хотят прав больше, чем даёт selinux.
[19:28:01] <ada_ru> (Лекс) это почему и как?
[19:28:09] <ada_ru> (Anonymus62) отвечает (Лекс) на <это почему и как?>
Щас покажу.
[19:28:15] <ada_ru> (Лекс) чем они так принципиально отличаются от си с крестами или фортрана?
[19:29:14] <ada_ru> (Лекс) может компелять просто нужно с нужными флагами? 😃
[19:31:47] <ada_ru> (t91x0) отвечает (Anonymus62) на <Можно, но проги напи…>
Там поди трамплины какие
[19:32:39] <ada_ru> (Anonymus62) отвечает (t91x0) на <Там поди трамплины к…>
Обычныейший хеллоу ворлд.
ща, скрины скину.
[19:32:47] <ada_ru> (Anonymus62) картинка https://www.ada-ru.org/files/bot/2019-08-08-x8.jpg
[19:32:53] <ada_ru> (Anonymus62) Вот но это musl
[19:33:00] <ada_ru> (Anonymus62) А не либси
[19:33:04] <ada_ru> (Anonymus62) И альпин
[19:33:24] <ada_ru> (Anonymus62) Ща на деб-чруте сктну.
Там ошибки другие вроде
[19:34:06] <ada_ru> (Лекс) ну так я и говорю, своять в termux`е. Это нативный линукс на базе дебиана внутри андрюши
[19:34:54] <ada_ru> (Anonymus62) отвечает (Лекс) на <ну так я и говорю, с…>
Я и так в термуксе это запускаю.
[19:35:11] <ada_ru> (Anonymus62) Просто в самом термуксе, в термусовых репах нету гната
[19:35:12] <ada_ru> (Лекс) как ты установил гнат?
[19:35:27] <ada_ru> (Лекс) ну так о чём я и говорю выше, блин
[19:35:30] <ada_ru> (Лекс) :-\
[19:35:41] <ada_ru> (Anonymus62) скачал chroot-minimal контейнер дебы
[19:35:50] <ada_ru> (Anonymus62) его развернул в термуксе
[19:35:55] <ada_ru> (Anonymus62) И в нём работал
[19:35:59] <ada_ru> (Лекс) не засунуть в термакс бинарь откуда-то там, а собрать пакет в нужном формате
[19:36:33] <ada_ru> (Лекс) там же может и правила какие прописаны и/или права
[19:37:19] <ada_ru> (Anonymus62) Отбой паники, мой тикет пофиксили.
Еху!
[19:37:21] <ada_ru> (Anonymus62) картинка https://www.ada-ru.org/files/bot/2019-08-08-x9.jpg
[19:37:54] <ada_ru> (Anonymus62) Осталось вынуть gnat под arm со всеми зависимостями из ubuntu репы
[19:38:05] <ada_ru> (Anonymus62) И запустить его в термусе
[19:38:40] <ada_ru> (Лекс) а теперь поделитесь-ка инструкцией, как вы сиё извращение приготовили, сударь
[19:39:24] <ada_ru> (Anonymus62) отвечает (Лекс) на <а теперь поделитесь-…>
Щас.
[19:41:30] <ada_ru> (Лекс) но таки запакованный gnat в репе термакса был бы удобнее, меньше мусора %)
[19:44:34] <ada_ru> (Anonymus62) Сначала подрубаешь репу атилы - скрипта по развёртывпнию прут контейнеров, прут - это как чрут, но в юзерспейсе.
Ставишь через атилу ubuntu - в ней работает из коробки.
ставишь гнат, и работаешь.
[19:44:41] <ada_ru> (Anonymus62) echo "deb [trusted=yes] https://yadominjinta.github.io/files/ termux extras" >> $PREFIX/etc/apt/sources.list
pkg install proot pv atilo axel tar grep
atilo install ubuntu
startubuntu
apt update && apt install gnat
cat > hello.adb << "EOF"
with Ada.Text_IO;
procedure Hello is
use Ada.Text_IO;
begin
Put_Line("Hello, world!");
end Hello;
EOF
gnatmake hello.adb && ./hello
[19:45:16] <nordwind> То-то я думаю, чего дождь не заканчивается. На канале наконец не про С говорят
[19:46:09] <ada_ru> (Anonymus62) отвечает на <(nordwind) То-то я д…>
Но-но уважаемый, мы ещё изредка про си плюс плюс говорим.
[19:46:17] <ada_ru> (Anonymus62) :-)
[19:54:23] <ada_ru> (Anonymus62) Надо будет собрать со статической линковкой пробник и дать запустить его на другом, с той же архитектурой из терминала обычного, не термуса.
[19:54:44] <ada_ru> (Anonymus62) должно завестись
[19:55:27] <ada_ru> (Anonymus62) Если что, gui можно и на джаве/колтин/qt под ведро нарисовать - обёрточку через api к проге.
[19:57:47] <ada_ru> (Anonymus62) Т.е. теперь ада и полностью кросплатформенная, даже на кастрированных линукс устройствах - андроидах.
Осталось завести на ios можно захватывать мир!
[20:01:46] <ada_ru> (Eugene) Смех должен быть адским)
[20:04:43] <ada_ru> (Лекс) Йеххууу!
[20:05:22] <ada_ru> (Лекс) А гуй лучше написать на Аде, на opengl, кросплатформенный)
[20:06:01] <ada_ru> (Anonymus62) отвечает (Лекс) на <Йеххууу!>
+
сам так орал, когда завелось.
[20:06:22] <ada_ru> (Anonymus62) отвечает (Eugene) на <Смех должен быть адс…>
А как иначе?
Мы же Программисты Ада!
[20:06:47] <ada_ru> (Vinpuh) отвечает (Лекс) на <>
А тут выбора то особо нет, другой книги-то нет.
[20:07:21] <ada_ru> (Лекс) отвечает (Vinpuh) на <А тут выбора то особ…>
Но если она уг, то и читать не стоит😕
[20:07:50] <ada_ru> (Vinpuh) отвечает (Лекс) на <Но если она уг, то и…>
<прислал документ>
[20:08:49] <ada_ru> (Лекс) отвечает (Vinpuh) на <>
Спс, но вы бы лучше поделились своим мнением о книге ;)
[20:09:23] <ada_ru> (Gourytch) отвечает на <(nordwind) То-то я д…>
спортили погоду =)
[20:09:36] <ada_ru> (t91x0) отвечает (Vinpuh) на <>
А в epub есть?
[20:10:10] <ada_ru> (Gourytch) отвечает (Eugene) на <Смех должен быть адс…>
<прислал документ>
[20:11:31] <ada_ru> (Vinpuh) отвечает (Лекс) на <Спс, но вы бы лучше …>
Норм книга, просто рассказывает о языке, без воды особо, на учебник похожа, хотя это и есть учебник 😂
[20:11:52] <ada_ru> (Vinpuh) отвечает (t91x0) на <А в epub есть?>
Неа, только такая.
[20:12:01] <ada_ru> (Gourytch) по поводу аарм64 ада: можно же просто кросс собрать на amd64, а потом им уже пересобрать нативную aadm64-версию гната.
[20:12:07] <ada_ru> (Лекс) отвечает (Vinpuh) на <Норм книга, просто р…>
Только о языке или даёт рекомендации по методологии?
[20:14:01] <ada_ru> (Gourytch) и, да, а вот это сдохло разве?
https://www.adacore.com/press/gnat-pro-7-2-for-android
[20:14:08] <ada_ru> (Anonymus62) отвечает (Gourytch) на <по поводу аарм64 ада…>
Можно.
но так ты собираешь на целевом устройстве, к примеру в пути.
можешь идти и писать в виме адский код, тут же билдить и получать сведенья об ошибках.
Удобно.
[20:15:18] <ada_ru> (Vinpuh) отвечает (Лекс) на <Только о языке или д…>
Нет методологии нет.
[20:15:23] <ada_ru> (Gourytch) отвечает (Anonymus62) на <Можно.
но так ты соб…>
ну это когда уже всё есть и осталось только покомпилить чего-нибудь. но собирать gcc+gnat на телефоне и не так чтоб споро, и не так чтоб энергоэффективно
[20:15:55] <ada_ru> (Vinpuh) отвечает (Лекс) на <Только о языке или д…>
<прислал документ>
[20:16:28] <ada_ru> (Vinpuh) отвечает (Лекс) на <Только о языке или д…>
По методологии типа такой книжки.
[20:17:22] <ada_ru> (Vinpuh) отвечает (Лекс) на <Только о языке или д…>
Хотя она тоже так скорее о спарке, чем методологии.
[20:17:26] <ada_ru> (Anonymus62) отвечает (Gourytch) на <ну это когда уже всё…>
Ну да, но я трачу на дорогу в день около двух часов.
Я могу читать книгу, а могу читать книгу и тут же писать код.
я в аде не шибко шарю, к сржалению и для меня это удобно.
[20:21:48] <ada_ru> (Gourytch) (* почесал репу *)
понимаю. у меня, правда, никогда не получалось кодить в дороге на телефоне. мне он для этого дико неудобен.
ну и мне проще по ssh зацепиться к домашнему линуху и в tmux-сессии что-то нацарапать, если приспичит. но это, конечно, онлайн и всё прочее. в тайге, например, не пописать, разгоняя мошкУ. (впрочем, кто из нас в тайге? =) )
[20:23:44] <ada_ru> (Gourytch) во. ещё покушать. но для FreeBSD (бо - dradonlace)
http://www.dragonlace.net/posts/GNATDroid_cross-compiler_ports_created_for_FreeBSD/
[20:37:14] <ada_ru> (Максим) отвечает (Gourytch) на <и, да, а вот это сдо…>
это за деньги
[20:38:20] <ada_ru> (Gourytch) отвечает (Максим) на <это за деньги>
а самим собрать на базе GPL-ных сырцов не выйдет?
[20:38:22] <ada_ru> (Максим) отвечает (Anonymus62) на <Вот но это musl>
Я себе собирал кросс для OpenWRT, там тоже musl, пришлось пару патчей наложить. но работает, вроде.
[20:38:53] <ada_ru> (Максим) отвечает (Gourytch) на <а самим собрать на б…>
Знать бы что собирать. Я хз что там внутри.
[20:40:59] <ada_ru> (Gourytch) вангую что адская (в прямом и переносном смыслах) сборная солянка, которая в итогде должна через NDK-костыли ввинчиваться к JAVA-гуйне.
[20:43:55] <ada_ru> (Anonymus62) отвечает (Gourytch) на <вангую что адская (в…>
а иначе это не заведёшь, так, чтоб свиду была жаба.
[22:49:52] <ada_ru> (I_vlxy_I) жаба внутри ада...
[22:58:17] <ada_ru> (Eugene) а чо у адакора нет клиентов, которым нужна ада под гудроид?
[22:58:45] <ada_ru> (Anonymus62) Есть и для них вот:
[22:58:47] <ada_ru> (Anonymus62) цитирует (Gourytch)
и, да, а вот это сдохло разве?
https://www.adacore.com/press/gnat-pro-7-2-for-android
[23:01:11] <ada_ru> (Eugene) а ну так надо просто запиратить и всё )))
[23:01:42] <ada_ru> (Eugene) вот только меня немного смущает дата новости: April 1, 2014
[23:03:04] <ada_ru> (Anonymus62) отвечает (Eugene) на <вот только меня немн…>
Погуглить на торрентах, мож апдайты есть.
[23:03:39] <ada_ru> (Eugene) https://www.adacore.com/gnatpro/comparison
GNAT Pro Assurance/Enterprise и правда андроид поддерживает