Добрый вечер, господа, стукнуло тут в голову выучить какой-нибудь специфический язык

Учи 1С. В россии все нормально с ним.

Насколько я знаю, в движке Касперского небольшая часть кода написана на языке ада. Возможно, уже выкинули.

вот там используется X

Откуда ты знаешь про язык Икс?!

Положение языка Ada в России

Язык Ада в России имеет статус госу^W^W^W никому нафиг не нужен.
И хватит уже вбрасывать.

никому нафиг не нужен

О, мсье обладает информацией, а какой нужен?

Ответы на этот и другие тупые вопросы можно с легкостью найти на сайтах объявлений о поиске работы / сотрудников.

Попробуй перечитать первое сообщение еще раз.

Положение языка Ada в России

Статья 243.1. Оскорбление религиозных убеждений и чувств граждан.
До трёх лет в общем.

Там все еще тупой вброс.

Русское Ада-сообщество сравнительно небольшое, насчитывает приблизительно две сотни членов.

Ну ладно, успехов.

Так оно у нас где-нибудь применяется?
На чем пишут для космонавтов, военных, летчиков?

Даже если не учитывать плохую наследственность этого языка (создан на деньги МО одной региональной державы), то язык этот сам по себе слишком многословен. Уже давно не comme il faut, не state-of-the-art и т.п. Си++ давно победил его. Правда, это мое личное мнение, и я далек от этой области :)

Что касается темы закрытых городов, то на ленте fprog есть интересная запись разговора про компиляторы под Эльбрусы. Как понимаю, там содержится ответ.

Знаю НПП в нашем Нижнем Новгороде, где пишут бортовой софт для гражданской авиации на Ада.

У Ады как языка, кстати, есть подмножество SPARK, корректность программ на которых можно формально доказать.

Был на презентации AdaCore в 2011г., остались весьма приятные впечатления, но не припомню какого-то огромного ажиотажа вокруг них и их продукции от публики (чтобы судить о востребованности-применении в отрасли).

Уже давно не comme il faut, не state-of-the-art и т.п.

http://www.adacore.com/sparkpro/ вполне себе стейт от те арт)

в некоторых подвалах минобороны используют кресты

знаю лично от бывшего узника

Большое спасибо, а какие еще языки теоретически могут использоваться в отрасли?

dave
Благодарю за наводку.

Смотря в какой. Всеми любимый Си может вполне, со всеми его плюсами и минусами.

Авиационная, военная промышленность.

Вот тут можно полистать брошюрки, но эта компания нацелена на своих конкретных партнёров, поэтому выборка не совсем репрезентативна :)

Мерси.

Язык Ада - прекрасен, но уже почти зачах. Большинство его возможностей уже вполне реализуемы в том же C++.

Осталась одна уникальная особенность - возможность формального доказательства корректности программ (товарищи выше об этом уже написали). Языки типа C++ не пригодны для этого совершенно.

Авиационная, военная промышленность.

C, подмножество C++

Премного благодарен.

Встраиваемые авиационные системы.

и если не Ada, то что, банальный Си?

про аду не слышал, но PureC используют во все поля.

Язык Ада в России имеет статус госу^W^W^W никому нафиг не нужен.

откуда ты знаешь-то? Ada имеет свой профит для написания сверхнадёжного кода вообще без багов в принципе(в некотором смысле конечно). В секретных подвалах это любят.

http://www.adacore.com/sparkpro/ вполне себе стейт от те арт)

За state-of-the-art сойдет разве что это: http://parasail-programming-language.blogspot.ru/

Один из немногих языков, на которые есть ГОСТ.

В секретных подвалах

Ох уж эти городские легенды.

Всякий язык хорош для своей области применения. Когда-то не было языков, но в связи с необходимостью мобильности и выживания, при бурном расцвете железа и необходимостью в переносимости придумали C, Unix. Так-что все очень взаимосвязано. Эрланг, при определенных обстоятельствах неплох, но не более этого. Не хватает многих фич, не смотря на многие приятные вещи.

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

Авиационная, военная промышленность.

B-2 JOVIAL-to-C Migration

дохнет. /тнгеад