The OpenNET Project / Index page

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

Вышел GNAT Community Edition 2021

01.06.2021 14:19

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

Новая версия компилятора использует бэкенд GCC 10.3.1 и предоставляет ряд новых возможностей. Добавлена реализация следующих нововведений грядущего стандарта Ада 202х:

  • Новый профиль для встраиваемых систем Jorvik;
  • Поддержка арифметики с произвольной точностью;
  • Выражения-объявления;
  • Переименование значений с автоматическим выводом типов;
  • Контракты для ссылок на подпрограммы;
  • Фильтры в итераторах;
  • Агрегаты для контейнеров.

Также реализовали несколько экспериментальных (не стандартных) возможностей:

  • Дополнительный "when" для операторов return/raise/goto;
  • Сопоставление с шаблоном;
  • Фиксированная нижняя граница массива;
  • Вызов подпрограмм через точку для нетеговых типов.

Скорее всего данная версия компилятора будет последней в цепочке релизов GNAT Community Edition. В дальнейшем компилятор собранный из открытых исходных текстов GCC можно будет установить с помощью пакетного менеджера alire.

  1. Главная ссылка к новости (https://blog.adacore.com/gnat-...)
  2. OpenNews: Вышел GNAT Community 2020
  3. OpenNews: После десяти лет затишья в разработке доступен выпуск GNU GNATS 4.2.0
  4. OpenNews: FreeBSD переходит с GNATS на Bugzilla
  5. OpenNews: Вышел GNAT GPL 2011 - набор средств разработки на языке программирования Ада-2005
  6. OpenNews: Опубликован транслятор языка Ада на базе LLVM
Автор новости: rmmr
Тип: Программы
Короткая ссылка: https://opennet.ru/55245-gnat
Ключевые слова: gnat, ada
Поддержать дальнейшую публикацию новостей на OpenNET.


Обсуждение (88) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, Аноним (1), 17:37, 01/06/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • –2 +/
    Паттерн матчинг во все поля, скоро наверное вообще языков без него не останется.
    Кроме плюсов конечно, там это не нужно.
     
     
  • 2.2, anonimous (?), 17:50, 01/06/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    https://www.stroustrup.com/OpenPatternMatching.pdf
     

  • 1.3, Аноним (3), 18:09, 01/06/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Насколько я понял его используют американцы. В невоенной сфере он используется?
     
     
  • 2.4, Full Master (?), 18:23, 01/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    libgfxinit в coreboot.
     
  • 2.5, Старший ананоним (?), 18:45, 01/06/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Космонавтика, авиация, электроника. В Google что ли бан заработал?
     
     
  • 3.20, Аноним (20), 22:37, 01/06/2021 [^] [^^] [^^^] [ответить]  
  • +5 +/
    Эти капчи мне уже абсолютно достали!
     
     
  • 4.31, слакварявод (ok), 08:16, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    В точку!!! От капчей уже житья нет! С этими пиндосскими гидрантами, автобусами, светофорами и переходами... они там чо- автопилот через капчи обучают чтоль???
     
     
  • 5.35, ryoken (ok), 08:47, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    >> пиндосскими гидрантами, автобусами, светофорами и переходами

    горы\холмы забыли :)

     
  • 5.42, anonymous (??), 10:50, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    DuckDuckGo?)
     
  • 4.32, капчи1 (?), 08:30, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Перешел на Brave, и никаких капчей. Ваабще.

    Патамушто капчами гугл достает файрфокс и другие браузеры, тупо как орудие пытки, лол. И это говно на куче сайтов, особенно связаных с финансами.

    Вывод - нужно притворяться хромом и все будет ОК.

     
     
  • 5.50, Аноним (-), 16:56, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Хозяин Brave собирает о тебе информацию, продаёт её и зарабатывает бабки.
     
     
  • 6.54, Аноним (54), 20:07, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Расскажи источник сей достоверной информации. Или это все слухи? "Слухи - это отличный инструмент манипуляции людьми." - Генерал Петров К.П., Концепция Общественной Безопасности, 2004 г.
     
  • 3.24, lockywolf (ok), 07:31, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Да, гугл всё. На каждый запрос капча.

    Я перешёл на Бинг.

     
     
  • 4.36, Ненавижу SJW (?), 09:07, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Можно ещё ерейти на утку:
    duckduckgo.com
    Или анонимные поисковики, которые исользуют выдачу гугла:
    qwant.com
    А есть ещё такой: searx.space (тут можно выбрать инстанс)
     
     
  • 5.40, alexrayne (?), 10:13, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > qwant.com

    Thanks for your visit
    Unfortunately we are not yet available in your country.

     
  • 5.60, Аноним (-), 06:58, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    startpage.com

    А какая капча-то у гугля если не из-под ВПНа?

     
  • 2.7, Tiv (??), 19:12, 01/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Раньше использовался внутри RDBMS Oracle для компиляции PL/SQL.
     
     
  • 3.9, Старший ананоним (?), 19:28, 01/06/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Первый раз слышу. За основу синтаксиса и некоторых принципов PL/SQL действительно взят ADA, но у PL/SQL изначально не компилировался в исполняемый код как ADA, а работал внутри своей виртуальной машины, разработанной Oracle. И только с версии Oracle DB 10g PL/SQL стало возможно компилировать в нативный код сначала с использованием стороннего компилятора языка C, а с версии Oracle DB 11g и самостоятельно без необходимости во внешнем компиляторе С.
     
  • 2.11, Аноним (11), 20:19, 01/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Иcпрользуется его производный язык VHDL.
     
     
  • 3.16, Аноним (16), 21:59, 01/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    GHDL (свободный симулятор VHDL), кстати, тоже на Аде написан.
     

  • 1.6, Ананас (?), 18:52, 01/06/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    Язык сверхмощный, но и довольно тяжелый. Атомная сестра паскаля.
     
  • 1.8, Аноним (8), 19:20, 01/06/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +3 +/
    Наслаждаюсь чтением http://www.ada-ru.org/safe_secure_2012
     
     
  • 2.14, Аноним (14), 21:11, 01/06/2021 [^] [^^] [^^^] [ответить]  
  • –3 +/
    Какие-то прохладные фантазии про влажные пещеры и всё остальное, довольно тяжело читать такое.
     

  • 1.10, Anonymoustus (ok), 19:47, 01/06/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Любимый язык (сразу после Перла). :-)
     
  • 1.12, Аноним (12), 20:48, 01/06/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +3 +/
    >на языке Ада

    Свят, свят, свят!

     
  • 1.13, rmmr (ok), 20:55, 01/06/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +3 +/
    Вот подробный Jupyter Notebook с реализованными в GNAT Community 2021 возможностями:

    https://github.com/reznikmm/ada-howto/blob/ce-2021/ce2021.md

     
  • 1.15, Аноним (15), 21:54, 01/06/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Интересно, есть ли в России что-то подобное? Ну что-то типа своего промышленного языка программирования?
     
     
  • 2.17, Аноним (17), 22:07, 01/06/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    А в России вообще какой-нибудь актуальный язык программирования есть? Kotlin говорят наши делали, но компания иностранная. И всё..
     
     
  • 3.18, Деаноним (?), 22:16, 01/06/2021 [^] [^^] [^^^] [ответить]  
  • +5 +/
    Я слышал про язык РАЯ (русский алгоритмический язык). Такой вот противовес буржуйскому языку Ада
     
     
  • 4.19, Деаноним (?), 22:17, 01/06/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Простите, не заметил слово актуальный..
     
  • 3.21, Старший ананоним (?), 23:39, 01/06/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Из тех, с которыми сталкивался

    1. Kotlin - и язык наш, и компания наша, на JVM
    2. Учебный язык программирования PascalABS.Net, на .Net.
    3. Язык программирования 1С (навеяно Pascal и VB) на своей среде исполнения.
    4. Z-язык Босс-Кадровика (навеяно С, Oberon, SQL) на своей среде исполнения.
    5. Белорусская среда lsFusion и внутренний предметный язык (навеяно SQL + предметный язык), на JVM
    ....
    При СССР делали компиляторы популярных языков под советские процессоры, потом поддерживали Fortran для Sun и Intel, вроде бы пилили Java пока Oracle не закрыл российский офис.

     
     
  • 4.23, Аноним (-), 03:48, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    >При СССР делали компиляторы популярных языков под советские процессоры

    Скорей всего архитектуру "лицензировали" с Запада.

    >вроде бы пилили Java пока Oracle не закрыл российский офис.

    Обычно Западные представительства принудительно закрывает российская сторона.

     
     
  • 5.30, n00by (ok), 08:08, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Читайте "Воспоминания советского еврея-программиста" https://medium.com/@kpem/%D0%B2%D0%BE%D1%81
    и не фантазируйте.
     
     
     
    Часть нити удалена модератором

  • 7.48, n00by (ok), 15:34, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Читайте и не фантазируйте, у него было две трудовые книжки и свой бизнес с машинистками на зарплате. А про очереди за хлебом впредь помолчите - что бы не выставлять на показ свой возраст.
     
     
  • 8.55, Старший Аноним (?), 23:03, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    А шо вы хотите - революция кастрюлькиных ПТУ-шников Тяперя вони - влада и зрада... текст свёрнут, показать
     
  • 6.53, Аноним (53), 18:55, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Мерзкое чтиво
     
     
  • 7.64, n00by (ok), 07:16, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Даа... автор то умел проковырять отвёрткой дырдочку в перфокарте, а не только пальцем в носу.
     
     
  • 8.68, Аноним (53), 09:46, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Ну умел дырочки ковырять в перфокартах, на БЭСМ работал, в УНИХ что там ковырял ... текст свёрнут, показать
     
     
  • 9.69, n00by (ok), 09:56, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    А автор разве кого-то поливает ... текст свёрнут, показать
     
     
  • 10.71, Аноним (53), 10:31, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Вы внимательно читали его мемуары, или по диагонали пробежали, цепляясь глазом з... текст свёрнут, показать
     
     
  • 11.72, n00by (ok), 14:58, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Да, я внимательно читал, а вот Вы, очевидно, не внимательно, поскольку не замети... текст свёрнут, показать
     
     
  • 12.80, Аноним (53), 19:15, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Я прочел этот вопрос и именно поэтому и переспросил внимательно ли вы читали Ав... текст свёрнут, показать
     
     
  • 13.82, n00by (ok), 08:31, 04/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Не вижу цитат Списываю оценочное суждение на особенности Вашего восприятия авто... текст свёрнут, показать
     
     
  • 14.85, Аноним (53), 18:22, 04/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Эмм, Лига лени Спрашивал же, внимательно ли вы читали текст Ну раз вам цитаты ... большой текст свёрнут, показать
     
     
  • 15.90, n00by (ok), 08:06, 05/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Помимо таки внимательного чтения обсуждаемого текста, я помню некоторые фамилии ... текст свёрнут, показать
     
     
  • 16.91, Аноним (53), 10:34, 05/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Да мне в принципе фиолетово на вашу точку зрения по этому поводу, и на тапочки т... текст свёрнут, показать
     
     
  • 17.92, n00by (ok), 11:23, 05/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Знаю, потому Вы так старались навязать свою ... текст свёрнут, показать
     
     
  • 18.93, Аноним (53), 15:56, 05/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Да вы зануда любезнейший ... текст свёрнут, показать
     
     
  • 19.94, n00by (ok), 16:20, 05/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Зато мне понравилось про машины МИР и что автор не ругает Кобол потому что Кобо... текст свёрнут, показать
     
  • 14.86, Аноним (53), 18:25, 04/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Некоторые моменты процитировать не имею возможности Опеннет не позволяет Даже ... текст свёрнут, показать
     
  • 4.26, Аноним (26), 07:52, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +5 +/
    Когда Jetbrains обвиняют в сотрудничестве со спецслужбами РФ и помощи осуществления хакерских атак, тогда все дружно, начиная с руководства JetBrains и заканчивая сетевыми российскими тролями, начинают рассказывать что они открытая современная Европейская компания ориентированная на международный рынок. А в остальное время, - они же самые, - рассказывают, что это российская компания, "наша", "русская" и т.д. Честно говоря, запутался уже
     
     
  • 5.37, Старший Аноним (?), 09:32, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Какие хакерсие атаки от JetBrains, кастрюлькин?
     
     
  • 6.61, Аноним (-), 07:00, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > Какие хакерсие атаки от JetBrains, кастрюлькин?

    В fbi.gov напиши, они тебе разъяснят, я сомневаюсь что анон там работает

     
  • 4.29, Аноним (16), 08:02, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    При СССР и компилятор Ады сделали, и, кажется, не один.
     
  • 4.34, mma (?), 08:40, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    >Kotlin - и язык наш, и компания наша, на JVM

    Есть и native на llvm, но котлин такой же наш как и google благодаря которому этот язык и держится на плаву.

     
  • 4.39, Аноним (15), 10:10, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Из всего списка только 1С тянет на российский, да и то с оговоркой, что это очень специфичный и узкоспециализированный язык.
     
  • 4.59, Аноним (59), 06:27, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Еще добавьте Дракон и кумир, а вообще у нас в космосе используется модула-2 емнип
     
  • 3.25, lockywolf (ok), 07:35, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Дельфи. СНГ главный рынок Embarcadero.
     
     
  • 4.43, Аноним (15), 12:16, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Когда Delphi успел стать российским?
     
     
  • 5.62, Аноним (-), 07:03, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > Когда Delphi успел стать российским?

    конечно нет, но Firemonkey и еще что-то там сделал Жека Крюков из УУ

     
  • 5.70, lockywolf (ok), 10:12, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • –2 +/
    > Когда Delphi успел стать российским?

    В смысле использования в 202х годах -- вполне культурный феномен.

     
     
  • 6.84, Аноним (84), 16:47, 04/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    А ещё в России в 90-х были популярны пятёрка БМВ и Джип Гранд Чероки. Но от этого эти автомобили не стали более русскими.
     
  • 2.27, Аноним (26), 07:55, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    ну вообще в РФ использовался для таких же самых нужд - Ada, Modula 2, Oberon, если из "экзотики".
    Оно вообще как бы не имеет национальности, расы и пола: покупай и используй (или используй бесплатное, когда оно доступно). В Ada, например, нынче даже большая часть SPARK-а доступна бесплатно.
     
     
  • 3.38, Аноним (15), 10:08, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • –1 +/
    >Оно вообще как бы не имеет национальности, расы и пола

    Это всё равно что сказать, что английский язык не имеет национальности...

     
     
  • 4.56, Анонимъ (?), 01:56, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • –2 +/
    Так английский язык это общемировой язык. Какая тут может быть национальность?
     
     
  • 5.83, Аноним (84), 16:44, 04/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    >Так английский язык это общемировой язык.

    Это кто сказал? А рожа не треснет?

     
  • 2.28, n00by (ok), 08:01, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +1 +/
    В России придумали нормальные алгорифмы Маркова и на их базе язык РЕФАЛ. Но как раз тогда начался тренд на заимствование кукурузы и прочего. В результате автор языка уехал учить студентов США, и паттерн-матчинг теперь есть даже в Ада.
     

  • 1.33, Аноним (33), 08:37, 02/06/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    А как лямбду реализовать? Например, монадическая связка для монады продолжений Cont как будет выглядеть? [речь о функции bind m k = \с -> m (\a -> k a c)]. Даже в расте или плюсах будет полкилометра кода. Поэтому размер кода не страшен - важна сама возможность принципиальная сделать это. Если что, я не стебусь, а просто интересуюсь, стоит ли на Аду попробовать перенести одну свою штуку. Язык мне всегда был очень интересен. Давно присматриваюсь.
     
     
  • 2.44, Аноним (44), 14:33, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    К психиатру !
     
  • 2.45, Аноним (16), 14:56, 02/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Были идеи добавить лямбды в стандарт, но не смогли. Никак не сочетается с возможностью указать "контракты" (пред и пост-условия и по.) на лямбду. Решили пока не делать, как я понял.


    http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0190-1.txt?rev=1.7

     
  • 2.57, anoncc (?), 04:09, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    В каком расте, блаженный? Там нет лямб как таковых. По поводу крестов - чем обусловлены твои куллстори про пол километра? Ты ничего не зная решил умничать? Показывай портянки.
     
     
  • 3.65, n00by (ok), 07:29, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Вчера задался примерно тем же вопросом. Кое что нашёл. https://habr.com/ru/post/205026/



    template<typename A, typename B>
    future<B> operator>>=(future<A>& ma, const function<future<B> (A)>& f)
    {
    return async([&] () -> B { return f(ma.get()).get(); });
    }



    Комментировать некогда -- покатил за блендером, новая модель даёт более консистентное распараллеливание корпускул в суспензии.
     
     
  • 4.66, Аноним (33), 08:22, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    И это всего лишь заготовка. Чтобы на плюсах создать готовое для продакшена решение на основе этой идеи, и нужны и те самые полкилометра кода, о которых я упомянул. Без подробностей
     
     
  • 5.67, n00by (ok), 08:44, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Если дочитать ссылку до конца, там написано, что правильные сопрограммы реализуются платформенно-зависимой манипуляцией с контекстом потока (Fibers в Windows -- это оно и есть). Зачем тут отдельный поток исполнения?
     
     
  • 6.73, Аноним (33), 15:05, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Асинхронные вычисления - это лишь частный случай монадических. Изучайте мат. часть! И мне нужны не асинхронные.
     
     
  • 7.74, n00by (ok), 15:11, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Вы не дочитали до вопроса? Повторяю его:

    Зачем тут отдельный поток исполнения?

     
     
  • 8.76, Аноним (33), 15:17, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Товарищ, я спорить с тобой не буду Не понимаю, что ты от меня хочешь получить ... текст свёрнут, показать
     
     
  • 9.77, n00by (ok), 15:43, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Вообще-то получить хотел не я, а автор 57 Поскольку Вы ничего ему не показали,... текст свёрнут, показать
     
     
  • 10.78, Аноним (33), 16:04, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Я ничего не затрудняюсь и никогда не затруднялся объяснить что-то кому-то Наобо... текст свёрнут, показать
     
     
  • 11.79, n00by (ok), 16:08, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Напоминаю исходную тему в плюсах будет полкилометра кода ... текст свёрнут, показать
     
  • 4.87, Прорыв_запарты_фелиал (ok), 06:32, 05/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Что это за дерьмо и какое оно имеет отношения к вопросу? К тому же это даже не С++, а си с классами мусор.
     
     
  • 5.89, n00by (ok), 06:52, 05/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Я бы и сам посмотрел на полкилометра кода, про которые заявлял вопрошающий про монады в Ада. Но он ничего не показал, потому пришлось искать за него. И нет, это не про классы, это под функциональщину закос.
     
     
  • 6.95, anoncc (?), 06:07, 06/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Это именно си с классами.
     
     
  • 7.96, n00by (ok), 07:33, 06/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    По каким признакам это определяете? Монада требуется в функциональных языках для симуляции императивности. Было такое слово? Было. Так можно и комбинатор неподвижной точки слепить из пяти структур и говорить про портянку из классов, тогда как есть просто while. Наверное, потому нам так и не показали те мифические "пол километра".
     
  • 2.63, Аноним (-), 07:10, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    > А как лямбду реализовать? Например, монадическая связка для монады продолжений Cont как
    > будет выглядеть? [речь о функции bind m k = \с ->
    > m (\a -> k a c)]. Даже в расте или плюсах
    > будет полкилометра кода. Поэтому размер кода не страшен - важна сама
    > возможность принципиальная сделать это. Если что, я не стебусь, а просто
    > интересуюсь, стоит ли на Аду попробовать перенести одну свою штуку. Язык
    > мне всегда был очень интересен. Давно присматриваюсь.

    ContT нужна когда у тебя callback hell. А где ты callback hell нашел в языках типа Ада?! Это же не JS. Ада - это про надежность и скорость, а монады - это наоборот. Они неуместны там, где нужен надежный быстрый (часто для embedded/bare metal/real time) код

     
     
  • 3.75, Аноним (33), 15:16, 03/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Как написал одному товарищу, изучайте мат. часть! Монадические вычисления вполне могут быть и надежными, и быстрыми. Например, до введения синтаксиса async-await в Rust, там только так и писали, причем без всякого сборщика мусора. Слово "монада" не афишировалось, но знающие люди прекрасно понимали, что комбинатор 'and_then' для характеристики 'Future' есть монадическая связка и ничто иное. Однако, зная реакцию не самой образованной и не самой понимающей публики на этот счет, везде, не только в России, такое родство не афишируется. Даже в учебниках по языку F# такое не афишируется для вычислений Async. В учебниках по Scala такое тоже не особо акцентируется для стандартный скаловских вычислений Future. Но пожалуй, я и так слишком много написал уже. Всего хорошего!
     
     
  • 4.88, Прорыв_запарты_фелиал (ok), 06:35, 05/06/2021 [^] [^^] [^^^] [ответить]  
  • +/
    Нет, очевидно, никаких монад там не было никогда и нет нигде. Ты просто украл очевидный паттерн, а теперь везде бегаешь с ним доказывая, что это твоё и просто никто не сообщил. Нет, просто никто даже не думал о твоей секте. И да, какое отношение раст имеет к надёжности и производительности?
     

  • 1.58, Андрей (??), 04:28, 03/06/2021 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Когда уже этот баг поправят: "Make build system use Python3" https://github.com/AdaCore/gps/issues/100. Из-за этого GNAT-GPS вылетел из Debian testing.

    Хотя нет, баг давно закрыли, правда с очень странным сообщением: "We are working on transition to Python3. Right now, Python 2 is required to build GNAT Studio.". Если "working" - так чего же закрывать! Теперь непонятно, как отслеживать статус миграции на Python 3.

     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:
    При перепечатке указание ссылки на opennet.ru обязательно



    Спонсоры:
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

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