Опубликован пакет средств разработки на языке Ада - GNAT Community Edition 2021. В состав входит компилятор, интегрированная среда разработчика GNAT Studio, статический анализатор подмножества языка SPARK, отладчик GDB и набор библиотек. Пакет распространяется под лицензией GPL...Подробнее: https://www.opennet.ru/opennews/art.shtml?num=55245
Паттерн матчинг во все поля, скоро наверное вообще языков без него не останется.
Кроме плюсов конечно, там это не нужно.
https://www.stroustrup.com/OpenPatternMatching.pdf
Насколько я понял его используют американцы. В невоенной сфере он используется?
libgfxinit в coreboot.
Космонавтика, авиация, электроника. В Google что ли бан заработал?
Эти капчи мне уже абсолютно достали!
В точку!!! От капчей уже житья нет! С этими пиндосскими гидрантами, автобусами, светофорами и переходами... они там чо- автопилот через капчи обучают чтоль???
>> пиндосскими гидрантами, автобусами, светофорами и переходамигоры\холмы забыли :)
DuckDuckGo?)
Перешел на Brave, и никаких капчей. Ваабще.Патамушто капчами гугл достает файрфокс и другие браузеры, тупо как орудие пытки, лол. И это говно на куче сайтов, особенно связаных с финансами.
Вывод - нужно притворяться хромом и все будет ОК.
Хозяин Brave собирает о тебе информацию, продаёт её и зарабатывает бабки.
Расскажи источник сей достоверной информации. Или это все слухи? "Слухи - это отличный инструмент манипуляции людьми." - Генерал Петров К.П., Концепция Общественной Безопасности, 2004 г.
Да, гугл всё. На каждый запрос капча.Я перешёл на Бинг.
Можно ещё ерейти на утку:
duckduckgo.com
Или анонимные поисковики, которые исользуют выдачу гугла:
qwant.com
А есть ещё такой: searx.space (тут можно выбрать инстанс)
> qwant.comThanks for your visit
Unfortunately we are not yet available in your country.
startpage.comА какая капча-то у гугля если не из-под ВПНа?
Раньше использовался внутри RDBMS Oracle для компиляции PL/SQL.
Первый раз слышу. За основу синтаксиса и некоторых принципов PL/SQL действительно взят ADA, но у PL/SQL изначально не компилировался в исполняемый код как ADA, а работал внутри своей виртуальной машины, разработанной Oracle. И только с версии Oracle DB 10g PL/SQL стало возможно компилировать в нативный код сначала с использованием стороннего компилятора языка C, а с версии Oracle DB 11g и самостоятельно без необходимости во внешнем компиляторе С.
Иcпрользуется его производный язык VHDL.
GHDL (свободный симулятор VHDL), кстати, тоже на Аде написан.
Язык сверхмощный, но и довольно тяжелый. Атомная сестра паскаля.
Наслаждаюсь чтением http://www.ada-ru.org/safe_secure_2012
Какие-то прохладные фантазии про влажные пещеры и всё остальное, довольно тяжело читать такое.
Любимый язык (сразу после Перла). :-)
>на языке АдаСвят, свят, свят!
Вот подробный Jupyter Notebook с реализованными в GNAT Community 2021 возможностями:https://github.com/reznikmm/ada-howto/blob/ce-2021/ce2021.md
Интересно, есть ли в России что-то подобное? Ну что-то типа своего промышленного языка программирования?
А в России вообще какой-нибудь актуальный язык программирования есть? Kotlin говорят наши делали, но компания иностранная. И всё..
Я слышал про язык РАЯ (русский алгоритмический язык). Такой вот противовес буржуйскому языку Ада
Простите, не заметил слово актуальный..
Из тех, с которыми сталкивался1. Kotlin - и язык наш, и компания наша, на JVM
2. Учебный язык программирования PascalABS.Net, на .Net.
3. Язык программирования 1С (навеяно Pascal и VB) на своей среде исполнения.
4. Z-язык Босс-Кадровика (навеяно С, Oberon, SQL) на своей среде исполнения.
5. Белорусская среда lsFusion и внутренний предметный язык (навеяно SQL + предметный язык), на JVM
....
При СССР делали компиляторы популярных языков под советские процессоры, потом поддерживали Fortran для Sun и Intel, вроде бы пилили Java пока Oracle не закрыл российский офис.
>При СССР делали компиляторы популярных языков под советские процессорыСкорей всего архитектуру "лицензировали" с Запада.
>вроде бы пилили Java пока Oracle не закрыл российский офис.
Обычно Западные представительства принудительно закрывает российская сторона.
Читайте "Воспоминания советского еврея-программиста" https://medium.com/@kpem/%D0%B2%D0%...
и не фантазируйте.
Читайте и не фантазируйте, у него было две трудовые книжки и свой бизнес с машинистками на зарплате. А про очереди за хлебом впредь помолчите - что бы не выставлять на показ свой возраст.
А шо вы хотите - революция кастрюлькиных ПТУ-шников. Тяперя вони - влада и зрада, хорошо что не у нас.
Мерзкое чтиво
Даа... автор то умел проковырять отвёрткой дырдочку в перфокарте, а не только пальцем в носу.
Ну умел дырочки ковырять в перфокартах, на БЭСМ работал, в УНИХ что там ковырял и что?
Люди на аирбазе вполне себе скромно делятся воспоминаниями тех лет, как на Форте и Аде в ящиках писали. И никого и ничего грязью не поливают.
Некоторые в середине 80-х уже первый раз QNX ковыряли на американском горном оборудовании в якутской глухомани, и не выЁ***пендриваются.Ну а так да, все вокруг пид*** бастарды, а он один Д'Артаньян на белом коне.
> И никого и ничего грязью
> не поливают.А автор разве кого-то поливает?
Вы внимательно читали его мемуары, или по диагонали пробежали, цепляясь глазом за знакомые термины?
Да, я внимательно читал, а вот Вы, очевидно, не внимательно, поскольку не заметили мой вопрос выше.
Я прочел этот вопрос и именно поэтому и переспросил внимательно ли вы читали. Автор там много кого и чего поливает, Ленина, краснопузых, каких то людей повстречавшихся в жизни, власть и т.п.
У меня лично его мемуары вызвали ощущение мерзости.
> Автор там много кого и чего поливаетНе вижу цитат. Списываю оценочное суждение на особенности Вашего восприятия авторского стиля.
Эмм, Лига лени? Спрашивал же, внимательно ли вы читали текст. Ну раз вам цитаты нужны, извольте читать краткую портянку:Это было воспринято соседями весьма неодобрительно: кто видел здесь свидетельство ненасытной еврейской жадности («даже сына не пожалел, погнал на заработки»), кто — коварный еврейский умысел пропихнуть сынка в ВУЗ, загодя готовя ему привилегированный «рабочий» статус, кто что еще, но какая-то еврейская хитрость обязательно должна была быть. И она таки была!
-------------------
Другая версия — еще (сюр)реалистичней: через знаменитый рыболовецкий колхоз имени В. И. Ленина, что на острове Сааремаа (вот написал и засомневался: Ленина ли или какого другого краснопузого ***юдка калибром помельче?.. но, не суть важно).
-------------------
Далее не хочу цитировать, напрягитесь и прочтите снова сей мемуар.
Помимо таки внимательного чтения обсуждаемого текста, я помню некоторые фамилии пламенных согатников из Лиги Ленина. Так что не смешите мои тапочки, во второй цитате таки внутренние кошерные разборки (не удивлюсь, что "засомневался" следует читать как "переименовали"). А в первой... у Вас и стакан наполовину пуст?
Да мне в принципе фиолетово на вашу точку зрения по этому поводу, и на тапочки тоже.
Для меня лично чтиво оказалось мерзким.
Дальше продолжать этот разговор мне неинтересно.
> Да мне в принципе фиолетово на вашу точку зрения по этому поводуЗнаю, потому Вы так старались навязать свою.
Да вы зануда любезнейший)))
Зато мне понравилось про машины МИР и что автор не ругает Кобол (потому что Кобол для своих целей вполне подходил).
Некоторые моменты процитировать не имею возможности. Опеннет не позволяет. Даже то что процитировал, пришлось немногоправить. Так что, если вам действительно интересно, извольте сами вновь перечитать.
Когда Jetbrains обвиняют в сотрудничестве со спецслужбами РФ и помощи осуществления хакерских атак, тогда все дружно, начиная с руководства JetBrains и заканчивая сетевыми российскими тролями, начинают рассказывать что они открытая современная Европейская компания ориентированная на международный рынок. А в остальное время, - они же самые, - рассказывают, что это российская компания, "наша", "русская" и т.д. Честно говоря, запутался уже
Какие хакерсие атаки от JetBrains, кастрюлькин?
> Какие хакерсие атаки от JetBrains, кастрюлькин?В fbi.gov напиши, они тебе разъяснят, я сомневаюсь что анон там работает
При СССР и компилятор Ады сделали, и, кажется, не один.
>Kotlin - и язык наш, и компания наша, на JVMЕсть и native на llvm, но котлин такой же наш как и google благодаря которому этот язык и держится на плаву.
Из всего списка только 1С тянет на российский, да и то с оговоркой, что это очень специфичный и узкоспециализированный язык.
Еще добавьте Дракон и кумир, а вообще у нас в космосе используется модула-2 емнип
Дельфи. СНГ главный рынок Embarcadero.
Когда Delphi успел стать российским?
> Когда Delphi успел стать российским?конечно нет, но Firemonkey и еще что-то там сделал Жека Крюков из УУ
> Когда Delphi успел стать российским?В смысле использования в 202х годах -- вполне культурный феномен.
А ещё в России в 90-х были популярны пятёрка БМВ и Джип Гранд Чероки. Но от этого эти автомобили не стали более русскими.
ну вообще в РФ использовался для таких же самых нужд - Ada, Modula 2, Oberon, если из "экзотики".
Оно вообще как бы не имеет национальности, расы и пола: покупай и используй (или используй бесплатное, когда оно доступно). В Ada, например, нынче даже большая часть SPARK-а доступна бесплатно.
>Оно вообще как бы не имеет национальности, расы и полаЭто всё равно что сказать, что английский язык не имеет национальности...
Так английский язык это общемировой язык. Какая тут может быть национальность?
>Так английский язык это общемировой язык.Это кто сказал? А рожа не треснет?
В России придумали нормальные алгорифмы Маркова и на их базе язык РЕФАЛ. Но как раз тогда начался тренд на заимствование кукурузы и прочего. В результате автор языка уехал учить студентов США, и паттерн-матчинг теперь есть даже в Ада.
А как лямбду реализовать? Например, монадическая связка для монады продолжений Cont как будет выглядеть? [речь о функции bind m k = \с -> m (\a -> k a c)]. Даже в расте или плюсах будет полкилометра кода. Поэтому размер кода не страшен - важна сама возможность принципиальная сделать это. Если что, я не стебусь, а просто интересуюсь, стоит ли на Аду попробовать перенести одну свою штуку. Язык мне всегда был очень интересен. Давно присматриваюсь.
К психиатру !
Были идеи добавить лямбды в стандарт, но не смогли. Никак не сочетается с возможностью указать "контракты" (пред и пост-условия и по.) на лямбду. Решили пока не делать, как я понял.
http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0190-1...
В каком расте, блаженный? Там нет лямб как таковых. По поводу крестов - чем обусловлены твои куллстори про пол километра? Ты ничего не зная решил умничать? Показывай портянки.
Вчера задался примерно тем же вопросом. Кое что нашёл. 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(); });
}
Комментировать некогда -- покатил за блендером, новая модель даёт более консистентное распараллеливание корпускул в суспензии.
И это всего лишь заготовка. Чтобы на плюсах создать готовое для продакшена решение на основе этой идеи, и нужны и те самые полкилометра кода, о которых я упомянул. Без подробностей
Если дочитать ссылку до конца, там написано, что правильные сопрограммы реализуются платформенно-зависимой манипуляцией с контекстом потока (Fibers в Windows -- это оно и есть). Зачем тут отдельный поток исполнения?
Асинхронные вычисления - это лишь частный случай монадических. Изучайте мат. часть! И мне нужны не асинхронные.
Вы не дочитали до вопроса? Повторяю его:Зачем тут отдельный поток исполнения?
Товарищ, я спорить с тобой не буду. Не понимаю, что ты от меня хочешь получить. Всего доброго!
Вообще-то получить хотел не я, а автор #57. Поскольку Вы ничего ему не показали, я нашёл вариант. Вы сами подтвердили, что приведённый фрагмент пригоден как основа, теперь затрудняетесь обосновать оправданность решения.
Я ничего не затрудняюсь и никогда не затруднялся объяснить что-то кому-то. Наоборот, занят этим постоянно. Просто не желаю раскрывать подробности, которые к тому же, никак не относятся к исходному вопросу. Не будем отклоняться от исходной темы.
> Не будем отклоняться от
> исходной темы.Напоминаю исходную тему: "в плюсах будет полкилометра кода."
Что это за дерьмо и какое оно имеет отношения к вопросу? К тому же это даже не С++, а си с классами мусор.
Я бы и сам посмотрел на полкилометра кода, про которые заявлял вопрошающий про монады в Ада. Но он ничего не показал, потому пришлось искать за него. И нет, это не про классы, это под функциональщину закос.
Это именно си с классами.
По каким признакам это определяете? Монада требуется в функциональных языках для симуляции императивности. Было такое слово? Было. Так можно и комбинатор неподвижной точки слепить из пяти структур и говорить про портянку из классов, тогда как есть просто while. Наверное, потому нам так и не показали те мифические "пол километра".
> А как лямбду реализовать? Например, монадическая связка для монады продолжений Cont как
> будет выглядеть? [речь о функции bind m k = \с ->
> m (\a -> k a c)]. Даже в расте или плюсах
> будет полкилометра кода. Поэтому размер кода не страшен - важна сама
> возможность принципиальная сделать это. Если что, я не стебусь, а просто
> интересуюсь, стоит ли на Аду попробовать перенести одну свою штуку. Язык
> мне всегда был очень интересен. Давно присматриваюсь.ContT нужна когда у тебя callback hell. А где ты callback hell нашел в языках типа Ада?! Это же не JS. Ада - это про надежность и скорость, а монады - это наоборот. Они неуместны там, где нужен надежный быстрый (часто для embedded/bare metal/real time) код
Как написал одному товарищу, изучайте мат. часть! Монадические вычисления вполне могут быть и надежными, и быстрыми. Например, до введения синтаксиса async-await в Rust, там только так и писали, причем без всякого сборщика мусора. Слово "монада" не афишировалось, но знающие люди прекрасно понимали, что комбинатор `and_then` для характеристики `Future` есть монадическая связка и ничто иное. Однако, зная реакцию не самой образованной и не самой понимающей публики на этот счет, везде, не только в России, такое родство не афишируется. Даже в учебниках по языку F# такое не афишируется для вычислений Async. В учебниках по Scala такое тоже не особо акцентируется для стандартный скаловских вычислений Future. Но пожалуй, я и так слишком много написал уже. Всего хорошего!
Нет, очевидно, никаких монад там не было никогда и нет нигде. Ты просто украл очевидный паттерн, а теперь везде бегаешь с ним доказывая, что это твоё и просто никто не сообщил. Нет, просто никто даже не думал о твоей секте. И да, какое отношение раст имеет к надёжности и производительности?
Ламбады это зло. Их невозможно дебажить
Когда уже этот баг поправят: "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.