The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

Вышел GNAT Community 2020

30.05.2020 09:46

Вышел GNAT Community 2020 - пакет средств разработки на языке Ада. В состав пакета входит компилятор, интегрированная среда разработчика GNAT Studio, статический анализатор подмножества языка SPARK, отладчик GDB и набор библиотек. Пакет распространяется на условиях лицензии GPL.

Основные изменения:

  • В компилятор добавлена поддержка множества нововведений из черновика грядущего стандарта языка Ада 202х. Бакэнд был обновлён до GCC 9 (для всех платформ, кроме macOS). Добавлена поддержка платформы RISC-V 64.
  • Среда разработки GNAT Studio теперь использует свой LSP (Language Server Protocol) для языка Ада. На основе этого же сервера реализовано расширение для Visual Studio Code, теперь доступное в Visual Studio Marketplace.
  • В анализатор SPARK добавлена поддержка владения указателями (как в Rust), что позволяет доказывать отсутствие ошибок работы с памятью и отсутствие утечки памяти. Поддерживаемое подмножество языка было расширено новыми конструкциями.


 
  1. Главная ссылка к новости (https://blog.adacore.com/gnat-...)
  2. OpenNews: Выпуск GNAT Community 2018
  3. OpenNews: После десяти лет затишья в разработке доступен выпуск GNU GNATS 4.2.0
  4. OpenNews: Вышел GNAT GPL 2011 - набор средств разработки на языке программирования Ада-2005
  5. OpenNews: Вышел GNAT GPL 2008 - набор средств разработки на языке Ада-95/2005
Автор новости: rmmr
Лицензия: CC BY 3.0
Короткая ссылка: https://opennet.ru/53055-gnat
Ключевые слова: gnat, ada
При перепечатке указание ссылки на opennet.ru обязательно


Обсуждение (123) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, Аноним (1), 10:33, 30/05/2020 [ответить] [﹢﹢﹢] [ · · · ]  []     [к модератору]
  • +3 +/
    > пакет средств разработки на языке Ада

    Анонимы, предлагайте кандидатуры на титул языка Чистилища!

     
     
  • 2.14, Аноним (14), 12:10, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +3 +/
    Как оно там в plan9 называлось? Уж не inferno ли?
     
     
  • 3.34, beresk_let (?), 14:41, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +2 +/
    Inferno — другая ОС, тоже из пост-UNIX. Язык там называется Limbo, а в Plan9 был Aleph.
     
     
  • 4.45, Аноним (45), 16:52, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +2 +/
    Список спонсоров внизу темы видели?
     
  • 2.16, Сейд (ok), 12:50, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • –1 +/
    Nim
     
  • 2.18, Аноним (18), 12:55, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +7 +/
    Нужен язык Рая. Тоже женское имя, кстати.
     
     
  • 3.21, Сейд (ok), 13:03, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +9 +/
    Русский алгоритмический язык.
     
     
  • 4.27, VladSh (?), 14:06, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +5 +/
    С командами "НАЧ", "КОН", "ВСЁ"? Это вам к 1С.
     
     
  • 5.39, tolstushka.ru (ok), 15:59, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +4 +/
    Задолго до 1С в СССР был язык "Рапира"

    ПРОЦ СТАРТ();
        ВЫВОД: "ЗДРАВСТВУЙ, МИР!";
    КНЦ;

     
     
  • 6.54, slava_kpss (ok), 18:32, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +10 +/
    Т прнс?
     
  • 6.128, vit (??), 21:18, 01/06/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    а еще ШАЯ - школьный алгоритмический язык
     
  • 4.51, Аноним (51), 18:02, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • –2 +/
    >Русский алгоритмический язык.

    Коращённо: Рая.

     
  • 3.38, другой аноним (?), 15:55, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +5 +/
    Существовало минимум два языка, аббревиатуры названий которых подгонялась под РАЯ. Это "Русский Алгоритмический Язык", в просторечии Ерошл (от фамилии академика Ершова, язык для обучения школьников), и Расширяемый Алгоритмический Язык (в просторечии ДССП, Диалоговый Язык Структурированного Программирования, по существу вариант Форта). Ни одно из названий не прижилось. Ну то есть, названия прижились даже меньше, чем языки. Языки хоть кто-то в своих нишах использовал, а буквы РАЯ остались исключительно на обложках книжек. Те, кто пользовались, называли их по-другому.
     
     
  • 4.43, Аноним (45), 16:49, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • –9 +/
    Почему считают, что обучать школьников надо на всяком мусоре? Типа названных, а также Паскаля, Дельфи. Есть один нормальный, красивый язык с минимальным синтаксисом, позволяющим сосредоточиться на логике программы. Если, конечно, целью обучения является программирование, а не что-то иное.
     
     
  • 5.44, Аноним (45), 16:51, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • –3 +/
    Еще Дракон и Кумир, блин.
     
     
  • 6.47, Аноним (47), 17:20, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +2 +/
    Между прочим, ДРАКОН - уникальный пример годного сокращённого названия на нашей территории (Дружелюбный русский алгоритмический язык, который обеспечивает наглядность)! Из всех остальных аббревиатур получается сплошное ФГУП ПБОУ ЦЩХ МПЖ №5.
     
  • 5.59, Ordu (ok), 20:40, 30/05/2020 [^] [^^] [^^^] [ответить]  [] []     [к модератору]
  • +2 +/
    > Есть один нормальный, красивый язык с минимальным синтаксисом, позволяющим сосредоточиться на логике программы

    Lisp?

     
     
  • 6.64, Username (?), 21:49, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    Ассемблер же.
     
     
  • 7.66, Ordu (ok), 23:02, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +/
    > Ассемблер же.

    Ассемблер не один, и я бы не назвал его синтаксис минимальным. Конечно, смотря что за ассемблер, но и всё же.

     
     
  • 8.132, _ (??), 20:50, 04/06/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    MIX MMIX - ... текст свёрнут, показать
     
  • 7.120, 0x3A59 (?), 05:56, 01/06/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +/
    > Ассемблер же

    Только маш. коды, только хардкор!

     
  • 5.68, anonimous (?), 00:25, 31/05/2020 [^] [^^] [^^^] [ответить]  [] []     [к модератору]
  • +3 +/
    Обучать чему и для чего С точки зрения обучения Современный паскаль как раз с ... большой текст свёрнут, показать
     
     
  • 6.133, Неим (?), 23:05, 22/06/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    Из хороших паскалеподобных языков есть ещё олдовый CHILL, родом из телекоммуника... большой текст свёрнут, показать
     
  • 5.73, Аноним (73), 07:55, 31/05/2020 [^] [^^] [^^^] [ответить]  [] []     [к модератору]
  • –3 +/
    >Есть один нормальный, красивый язык с минимальным синтаксисом, позволяющим сосредоточиться на логике программы.

    И он называется питон. Например, школы США детей учат на нем.

     
     
  • 6.78, Anonymoustus (ok), 08:53, 31/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +4 +/
    >>Есть один нормальный, красивый язык с минимальным синтаксисом, позволяющим сосредоточиться на логике программы.
    > И он называется питон. Например, школы США детей учат на нем.

    А потом компании США вынуждены завозить погромиздов из окрестностей Индии.

     
     
  • 7.81, funny.falcon (?), 11:47, 31/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +1 +/
    Программихдов из Индии берут исключительно из-за стоимости, а не из-за квалификации
     
     
  • 8.104, Anonymoustus (ok), 18:18, 31/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +3 +/
    Зачем платить больше за такой же самый говнокод У многих погромиздов постсовка ... текст свёрнут, показать
     
     
  • 9.124, ada (??), 14:22, 01/06/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    возможно но это престарелое гавно учит писать код но в практики и красе он показ... текст свёрнут, показать
     
     
  • 10.126, Anonymoustus (ok), 15:25, 01/06/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    Да ему же и не надо ничего показывать, это учебный язык Вирт же его специально ... текст свёрнут, показать
     
  • 5.91, Аноним (91), 14:45, 31/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +1 +/
    Не один, а два - ассемблер и форт.
     
  • 5.114, Аноним (-), 19:29, 31/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +1 +/
    Ты безнадежно отстал, но не безнадёжен. FreePascal позволяет писать приложения под Андроид, Мак, Виндовс, Линукс и БСД. Логика языка и синтаксис доступен домохозяйкам, при этом имеются все возможности, доступные в Си.
     
  • 2.65, InuYasha (?), 22:04, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +/
    > пакет средств разработки на языке Ада

    "gets me everytime!" )

     
  • 2.121, ryoken (ok), 08:29, 01/06/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    Язык Ада - это на котором черти пишут, Бароны Ада и прочие Кибердемоны? (Да, усиленно пытаюсь пройти DooM2016).
     

  • 1.2, Anonymoustus (ok), 10:39, 30/05/2020 [ответить] [﹢﹢﹢] [ · · · ]  [] []     [к модератору]
  • –2 +/
    У меня в Девуане 2.1 не работает GNAT GPS никакой версии из имеющихся в репозиториях. Надёжность вашего нового стандарта!

    А в Windows, надо сказать, всё работает. Голосуйте сердцем, анонимные братья.


    ЗЫ

    Заработало, ну надо же!

    Не тот уже Девуан, не тот…

     
     
  • 2.9, Zenitur (ok), 11:36, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    И что было?
     
     
  • 3.11, Anonymoustus (ok), 11:56, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    > И что было?

    Да хрен знает. Чего-то не хватало, наверное, а потом доустановилось с какими-то пакетами -- и вдруг заработало.

     
     
  • 4.127, Аноним (127), 18:06, 01/06/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +1 +/
    > Да хрен знает. Чего-то не хватало, наверное

    Ума

     

  • 1.3, Аноним (3), 10:52, 30/05/2020 [ответить] [﹢﹢﹢] [ · · · ]  [] []     [к модератору]
  • –6 +/
    Такое кривое поделие, что нормально никуда не портировано. Только лин и винда. Остальные системы еле-еле.
     
     
  • 2.4, Аноним (4), 11:01, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +/
    Тот случай, когда теряешься в поисках определения сказавшему такое... Слепой или альтернативно развитый?
     
     
  • 3.5, Аноним (3), 11:05, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • –6 +/
    Соболезную вашим способностям.
     
  • 3.6, Аноним (3), 11:06, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • –2 +/
    Давай, покажи мне свежие версии gnat в BSD системах.
     
  • 2.15, Аноним (15), 12:16, 30/05/2020 [^] [^^] [^^^] [ответить]  [] []     [к модератору]
  • +1 +/
    таблица сравнения коммерческого продукта и комьюнити https://www.adacore.com/gnatpro/comparison
    в таблице расписаны платформы, какие поддерживает коммерческий продукт
    так как язык нишевый в основном это реал тайм встраиваемые ОС
     
     
  • 3.19, Аноним (3), 12:55, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    Rust тоже нишевый (на данный момент), но это не помешало быть портируемым.
     
     
  • 4.26, Анон345 (?), 14:00, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • –2 +/
    Ада вполне портируема, FSF GNAT много что поддерживает, почти все что держит gcc, Rust портируем из-за Llvm, при этом у него нет стандарта и нет сторонних реализаций. Да и ide у него своей нормальной нет. Здесь же в новости свободная реализация коммерческой версии компилятора.
     
     
  • 5.30, Аноним (3), 14:21, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • –1 +/
    Какие-то мантры. Уже про BSD упоминали.
     
     
  • 6.48, fghjkl (?), 17:34, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    https://github.com/AdaCore/gps GNAT Studio свободна собирайте для чего угодно. Помнится в портах BSD она всегда была gps-ide, gnat от FSF https://www.gnu.org/software/gnat/ по жизни свободен и тоже был в портах. При этом на BSD gnat с проблемами так как они перешли на clang, но скоро будет gnat llvm, он уже в принципе есть.
     
     
  • 7.53, Аноним (3), 18:11, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +/
    Нынешние версии там старые. А когда будет на llvm, тогда и другой разговор будет.
     
     
  • 8.56, rmmr (ok), 20:08, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    Кстати, уже есть LLVM бакенд https github com AdaCore gnat-llvm Можно пробова... текст свёрнут, показать
     
  • 7.57, Аноним (57), 20:15, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +/
    Этот переход мешает существованию более 600 портов с gcc9 в билд _И_ рантаймзави... большой текст свёрнут, показать
     
     
  • 8.58, Аноним (57), 20:16, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    быстрофикс... текст свёрнут, показать
     
  • 8.60, fghjkl (?), 20:42, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • –1 +/
    Да все равно если честно, если ваши BSD не смогли собрать, значит вам и не нужно... текст свёрнут, показать
     
     
  • 9.63, Аноним (-), 21:42, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +/
    Ну если все равно, что просто соврамши , тогда вопросов больше нет так как он... большой текст свёрнут, показать
     
     
  • 10.83, fghjkl (?), 12:44, 31/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • –1 +/
    У gnat бэк gcc, если ваше BSD сообщество не осилили собрать gnat для BSD, это пр... большой текст свёрнут, показать
     
     
  • 11.92, Аноним (-), 15:00, 31/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +1 +/
    Еще раз, для особо озаренных https www freshports org lang gcc9 Но плохо... большой текст свёрнут, показать
     
  • 11.97, Аноним (97), 15:16, 31/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +1 +/
    Это проблема форумных подгорельцев-балаболов, сначала с гордым видом рассказываю... текст свёрнут, показать
     
     
  • 12.118, Анон345 (?), 00:18, 01/06/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    Там выше для тебя кидали список поддерживаемых платформ в платной версии, хочешь... текст свёрнут, показать
     
  • 10.84, fghjkl (?), 12:51, 31/05/2020 [^] [^^] [^^^] [ответить]  [] []     [к модератору]
  • +/
    http www dragonlace net вот для тебя ребята занимались портами, подхватывай п... текст свёрнут, показать
     
     
  • 11.96, Аноним (96), 15:12, 31/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    Во-первых нафига мне сдался ваш жирный и реновопортабельный блоатпэк Я, если... текст свёрнут, показать
     
  • 10.86, Нолекс (?), 13:02, 31/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +/
    Да чё вы ноете-то Вам если так приспичило, то и портируйте в любую из BSD Хот... текст свёрнут, показать
     
  • 9.99, анонн (ok), 16:36, 31/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +/
    Странно А пацаны и не знали 8-O code pkg search --comment intell idea int... большой текст свёрнут, показать
     
     
  • 10.117, Анон345 (?), 00:14, 01/06/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • –1 +/
    Java ide написанные на java это типа успех bsd, ну ну Что-нибудь более внушител... текст свёрнут, показать
     
     
  • 11.119, Аноним (119), 00:58, 01/06/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    Эксперт на эксперте ... текст свёрнут, показать
     
     
  • 12.123, fghjkl (?), 13:31, 01/06/2020 Скрыто ботом-модератором     [к модератору]
  • +/
     
     
  • 13.125, Аноним (125), 14:44, 01/06/2020 Скрыто ботом-модератором     [к модератору]
  • +/
     
  • 2.42, Аноним (45), 16:44, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • –1 +/
    На mac в принципе ставится. Хотя как ставится - тупо копируется. Собрать нормально пакет - дело нескольких минут. Могли бы в программах запуск сделать хотя бы. Кроме того, требует Xcode 10. Но есть большой плюс - удаляется перемещением в корзину. На этом знакомство закончено.
     
  • 2.49, anonimous (?), 17:41, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    >нормально никуда не портировано. Только лин и винда.

    ну вот еще на китайскую плату с процессором stm32f407vet6

    https://habr.com/ru/post/351062/

     

  • 1.7, Lex (??), 11:34, 30/05/2020 [ответить] [﹢﹢﹢] [ · · · ]  [] []     [к модератору]
  • –1 +/
    Чем сей язык и пакет хороши ?
     
     
  • 2.12, Anonymoustus (ok), 11:57, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +/
    > Чем сей язык и пакет хороши ?

    Для тебя -- ничем. Он для потенциального противника. На нём супостаты пишут прошивки для ракет и прочей военной техники.

     
     
  • 3.33, Аноним (33), 14:31, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • –2 +/
    Его в реестре отечественных нет. "Потеря для Англии - находка для Америки" (с) М-р Бин
     
     
  • 4.35, Страшный аноним (?), 14:44, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    Вроде как братья-белорусы его развивают на американские деньги (могу ошибаться)
     
  • 2.17, Сейд (ok), 12:54, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +/
    Надёжный и безопасный.
     
     
  • 3.25, Lex (??), 13:45, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • –1 +/
    > Надёжный и безопасный.

    Так практически про всё нынче говорят

     
     
  • 4.28, 0ffh (??), 14:18, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    верно говорят
    но тока для ады есть тесты на выносливость
     
  • 4.31, Сейд (ok), 14:26, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +4 +/
    А Ада была уже такой и 30 лет назад.
     
  • 4.32, Аноним (33), 14:29, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    Так говорят теперь только про Windows 10 на абсолютно честных ресурсах. Как бы.
     
  • 4.40, Anonymoustus (ok), 16:19, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +2 +/
    >> Надёжный и безопасный.
    > Так практически про всё нынче говорят

    Аду изначально такой проектировали. Она сразу создавалась для critical-применений.

     
  • 4.55, rmmr (ok), 20:02, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +3 +/
    Если интересно, что конкретно сделано для надёжности и безопасности, можно полистать брошюрку "Безопасное и надежное программное обеспечение", перевод тут - http://www.ada-ru.org/safe_secure_2012
     

  • 1.8, Eric Hartman (?), 11:35, 30/05/2020 [ответить] [﹢﹢﹢] [ · · · ]  [] []     [к модератору]
  • –5 +/
    Что-то последнее время новости, связанные с проектом GNU, совсем не радуют.
    То очередной скандал, то фуфлософт релизят. Да и само линуксовое комунити всё дальше отдаляется от них.
     
     
  • 2.129, Michael Shigorin (ok), 16:02, 02/06/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    > Что-то последнее время новости, связанные с проектом GNU,

    Просто к сведению: в соседней новости этот же персонаж парил "ставь семёрочку", ну а в ещё одной так просто наизнанку вывернулся мерзотно.

     

  • 1.10, YetAnotherOnanym (ok), 11:52, 30/05/2020 [ответить] [﹢﹢﹢] [ · · · ]  []     [к модератору]
  • +/
    > Добавлена поддержка платформы RISC-V 64

    Хмммм... интересно...

     
  • 1.13, Аноним (15), 12:08, 30/05/2020 [ответить] [﹢﹢﹢] [ · · · ]  []     [к модератору]
  • +/
    в каких сейчас проектах используется язык ада ?

    почему прижился ад с перегруженным синтаксисом, чем менее многословные оберон/модула ?

    почему американские военные "во втором туре" отбора языков под свои нужды оставили 4 языка, так или иначе базировавшиеся на паскале ?

    кто-нибудь проводил современные тесты, реально ли сейчас данный язык самый самый для разработки встраиваемых реал тайм надежных систем ?

     
     
  • 2.20, Сейд (ok), 13:01, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    В бортовых системах управления военными объектами (кораблями, ракетами, самолётами, снарядами, танками и т. п.).
     
  • 2.22, Anonymoustus (ok), 13:17, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    Почитай спецификацию Ады -- всё сам поймёшь. Ну или не поймёшь.
     
  • 2.29, 0ffh (??), 14:19, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +2 +/
    все что летает военное - обязано быть на аде в нато
    даже в россии в 90ые контора бериева купила еще платный компилятор чтоб написать бортовое для для своего самолета
     
     
  • 3.46, Аноним (15), 17:12, 30/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • –1 +/
    почему тогда для новейшего истребителя ф-35 выбрали с/с++ ?

    из всего количества строк кода на аде написано только ~5% и то портировано с ф-22 ? согласно статьям

     
     
  • 4.50, fghjkl (?), 17:45, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +1 +/
    Да и какой результат выбора? F-22 летает F-35 проблемен. Боинг 787 8 млн. строк на Аде, все норм.
     
     
  • 5.76, RibiKukan (ok), 08:40, 31/05/2020 Скрыто ботом-модератором     [к модератору]
  • –4 +/
     
  • 5.110, F40 (?), 18:52, 31/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    На HTML5+JS нужно переписать
     
  • 5.122, anonymous yet another (?), 11:57, 01/06/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    > Да и какой результат выбора? F-22 летает F-35 проблемен. Боинг 787 8 млн. строк на Аде, все норм.

    А в 737MAX на чём? ;)  Не в языке же дело...

     
  • 4.69, 0ffh (??), 00:34, 31/05/2020 [^] [^^] [^^^] [ответить]  [] []     [к модератору]
  • +1 +/
    я думаю потому что ф22 был начат во время холодной войны - а ф35 - это уже чиста бизнес распил
    я начинал с адой в конце 80ых начале 90 ых когда еще по инерции мир крутился в той парадигме
    накупил книжек по аде - ( интернета тогда ж не было ) знакомый достал два компилятора ады - один для 8080 проца под ср-м другой для доса
    и пыхтел с ними
    но тогда и в союзе приняли решение пользовать аду в тех же условиях а я типа бортовую готовился разрабатывать

    а потом все исчезло
    я стал мучать чпу на турбо си 2, 3 и васике в области чпу и автоматики
    а потом появилась гнутая ада - но я уже был не пр делах - и тока наблюдал за полетом - мне приходили подписки с гната

    мое мнение - щас другая парадигма во встроенных системах - подросли микрконтроллеры до уровня эвм 30 лет назад - и там где раньше работала одна с кучей проводов по типу звезды - счас - куча контрллеров с сетью
    да и пентагону не удается собрать разбежавшихся котов из европы и приструнить - счас многие евро армии - почти формальные

     
     
  • 5.77, RibiKukan (ok), 08:48, 31/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • –5 +/
    Уровень думать достойный тутошних гениев Да, подумаешь что время холодной вой... большой текст свёрнут, показать
     
  • 4.87, Нолекс (?), 13:11, 31/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +1 +/
    Последний раз, когда писали на Си софт для самолёта, он перевернулся перелетая экватор. Самолёт с испытателем удалось спасти, но причину ошибки искали ещё долго. После этого весь НАТОвский софт писали только на языке АДА.

    А то, что нынешние индусы выбирают не АДА, то это скорее разгильдяство и чей-то недосмотр...

     
  • 2.37, steils (ok), 15:02, 30/05/2020 [^] [^^] [^^^] [ответить]  []     [к модератору]
  • +/
    libgfxinit. Используется для иниціализаціи графики въ coreboot.
    https://doc.coreboot.org/gfx/libgfxinit.html
     
  • 2.67, anonimous (?), 00:00, 31/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • –1 +/
    >почему прижился ад с перегруженным синтаксисом, чем менее многословные оберон/модула ?

    Что значит перегруженный, в смысле читаемый? Так то китайский полаконичнее английского будет, вместо кучи буков один иероглиф, так что будем все видимо переходить.

    >почему американские военные "во втором туре" отбора языков под свои нужды оставили 4 языка, так или иначе базировавшиеся на паскале ?

    История языков такая. После первоначального хаоса (фортран,кобол,лисп,ранние алголы), языки общего назначения разделились на 2 группы
    -языки над которыми думали (поздние алголы-паскаль-и далее), с++ тоже пытался думать (от симулы) но скатился в совместимость с си (ну кстати там потом жаба и гоу аналогично)
    -языки которые лепили на коленке и побыстрее (би,си)(ну кстати там потом жабоскрипты и т.п.)
    Думаю понятно из какой группы росли корни языков, оставленных после отбора.

    >кто-нибудь проводил современные тесты, реально ли сейчас данный язык самый самый для разработки встраиваемых реал тайм надежных систем ?

    Раньше такого проводилось много
    http://sunnyday.mit.edu/16.355/cada_art.html
    сейчас не нужно, зачем, с надежностью с++ и так все понятно, а если ее много то можно еще на питоне.

    >в каких сейчас проектах используется язык ада ?

    раньше навалом
    https://www2.seas.gwu.edu/~mfeldman/ada-project-summary.html

    Сейчас меньше, летать будем на с++. Впрочем нынешние эффективные менеджеры боинга и прочих, вкупе с современными программистами могут любой язык выбирать, это уже не особо важно.


     
     
  • 3.70, deeaitch (ok), 03:48, 31/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    Ага, собеседовал я одного такого.....
     
  • 3.75, RibiKukan (ok), 08:32, 31/05/2020 Скрыто ботом-модератором     [к модератору]
  • –5 +/
     
     
  • 4.82, funny.falcon (?), 12:15, 31/05/2020 Скрыто ботом-модератором     [к модератору]
  • +6 +/
     
     
  • 5.90, RibiKukan (ok), 13:57, 31/05/2020 Скрыто ботом-модератором     [к модератору]
  • –2 +/
     
     
  • 6.93, Аноним (93), 15:07, 31/05/2020 Скрыто ботом-модератором     [к модератору]
  • +/
     
     
  • 7.98, RibiKukan (ok), 16:13, 31/05/2020 Скрыто ботом-модератором     [к модератору]
  • –3 +/
     
  • 6.115, Ordu (ok), 19:40, 31/05/2020 Скрыто ботом-модератором     [к модератору]
  • +1 +/
     
  • 4.85, fghjkl (?), 12:55, 31/05/2020 Скрыто ботом-модератором     [к модератору]
  • +1 +/
     
     
  • 5.89, RibiKukan (ok), 13:55, 31/05/2020 Скрыто ботом-модератором     [к модератору]
  • –5 +/
     
  • 4.101, anonimous (?), 17:34, 31/05/2020 Скрыто ботом-модератором     [к модератору]
  • +/
     
     
  • 5.102, RibiKukan (ok), 17:54, 31/05/2020 Скрыто ботом-модератором     [к модератору]
  • –3 +/
     
     
  • 6.106, anonimous (?), 18:35, 31/05/2020 Скрыто ботом-модератором     [к модератору]
  • +/
     
     
  • 7.111, Anonymoustus (ok), 19:04, 31/05/2020 Скрыто ботом-модератором     [к модератору]
  • +/
     
  • 6.112, Anonymoustus (ok), 19:09, 31/05/2020 Скрыто ботом-модератором     [к модератору]
  • +/
     
  • 4.103, anonimous (?), 18:17, 31/05/2020 Скрыто ботом-модератором     [к модератору]
  • +/
     
     
  • 5.107, RibiKukan (ok), 18:46, 31/05/2020 Скрыто ботом-модератором     [к модератору]
  • –1 +/
     
  • 4.105, anonimous (?), 18:31, 31/05/2020 Скрыто ботом-модератором     [к модератору]
  • +/
     
     
  • 5.109, RibiKukan (ok), 18:51, 31/05/2020 Скрыто ботом-модератором     [к модератору]
  • –2 +/
     
     
  • 6.116, Ordu (ok), 19:41, 31/05/2020 Скрыто ботом-модератором     [к модератору]
  • +/
     

  • 1.24, Аноним (24), 13:44, 30/05/2020 [ответить] [﹢﹢﹢] [ · · · ]  [] []     [к модератору]
  • +/
    Ещё один язык теперь может LSP! Просто прекрасно!
     
     
  • 2.95, Аноним (93), 15:11, 31/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +1 +/
    > The Language Server Protocol was originally developed for Microsoft's Visual Studio Code and is now an open standard

    С Microsoft нельзя вести дела, вам же будет хуже потом.

     

  • 1.52, Аноним (51), 18:04, 30/05/2020 [ответить] [﹢﹢﹢] [ · · · ]  [] []     [к модератору]
  • –3 +/
    >Вышел GNAT Community 2020

    И кому это в 2020 году нужно?

     
     
  • 2.94, Аноним (93), 15:10, 31/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    Очень многим
     
     
  • 3.100, Аноним (3), 16:54, 31/05/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • –1 +/
    Очень информативно
     

  • 1.61, Аноним (61), 20:50, 30/05/2020 [ответить] [﹢﹢﹢] [ · · · ]  []     [к модератору]
  • +1 +/
    Ада это понятно, но самое няшечкка это spark, круто, что сейчас можно уже под risc-v ядра писать, значит скоро будут на них летать.
     
  • 1.71, ffirefox (?), 05:54, 31/05/2020 [ответить] [﹢﹢﹢] [ · · · ]  []     [к модератору]
  • –1 +/
    А какая лицензия на библиотеки из GNAT? GPL только или LGPL?
     
     
  • 2.130, rmmr (ok), 22:15, 02/06/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +1 +/
    Именно в GNAT Community лицензия GPL, но большинство библиотек есть на GitHub под GCC исключением. Можно поставить только GNAT Studio, а компилятор взять из пакетов дистрибутива линукс или из msys2, если так важно будет избавиться от GPL, это легко.
     

  • 1.88, Нолекс (?), 13:26, 31/05/2020 [ответить] [﹢﹢﹢] [ · · · ]  []     [к модератору]
  • –1 +/
    Толи лыжи не едут, толи я после днюхи не совсем трезвый... А чё бинарники с собой тянут то, что итак у меня в системе установлено?
     
     
  • 2.131, rmmr (ok), 22:19, 02/06/2020 [^] [^^] [^^^] [ответить]      [к модератору]
  • +/
    1) Чтобы гарантировать совместимость. 2) Некоторые библиотеки содержат исправления найденных ошибок. 3) Чтобы не заставлять тебя искать все зависимости руками. 4)...
     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Партнёры:
    PostgresPro
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2025 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру