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 Скрыто ботом-модератором     [к модератору]
  • +/
     

     ....ответы скрыты (32)

  • 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-2024 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру