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

- На первое место я бы поставил РЕФАЛ. (REFAL -- REcursive Functions Algorithmic Language.)
Разработан Валентином Турчиным в середине 60-х. Таким образом, один из первых языков
функционального программирования, разработанных в мире.
Идеология обработки данных основана на строковых подстановках. Вообще, любопытный и мощный язык.
Руководство по REFAL-5 (увы, англоязычное) есть вот здесь: http://www.supercompilers.com/html/refal_content.html

Кое что (немного) можно найти на русском вот здесь: http://shade.msu.ru/refal.msu.ru/index.html

- В свое время на таких машинах как МИР и МИР-2 был реализован АНАЛИТИК. Очень мощный был язык.
Вычисления интегралов в численном виде и т.п. были там встроенными операциями.
Интересно, как это было реализовано.

- Под руководством академика Ершова был разработан транслятор с языка Альфа. Собственно, это был
диалект Алгола-60, но *весьма* расширенный (вполне можно считать самостоятельным и довольно
интересным языком). Там были встроенные операции над комплексными числами, векторами и матрицами и пр.

- Потом были еще школьные "обучающие" языки. Кто-нибудь помнит такие языки, как РАПИРА, РОБИК и т.п.?
Кстати, РАПИРА был языком относительно мощным, и явно создавался не без влияния популярных тогда языков
СВУ, типа SETL. Не знаю, насколько широко он был реализован.

- А еще припоминается "алогритмический язык", описанный в самых первых школьных учебниках по информатике,
в середине 80-х. Помните ключевые слова алг, нач, кон?
Этот язык тоже можно считать творением А.П. Ершова. Где-то я читал, что у него было официальное название
РАЯ (Русский Алгоритмический Язык).

Вот, собственно и все. Не густо. Если у кого-то есть желание дополнить этот список, прошу это сделать.

- встроенный язык 1С 
- google вывел на Глагол

на самом деле не густо, что печально... 
при таком диком количестве языков Wikipedia  (и далее по страницам)

AWL (?)   

Gentee - http://www.gentee.ru

TBPL — http://tbpl.info/ 
(Делает один парень из соседней группы... И это на младших курсах-то! Начал, вроде на 1-ом (хотя не уверен может и раньше), сейчас мы на 2-ом.)


Это сообщение отредактировал(а) V.A.KeRneL - 17.1.2007, 14:21

Ну, упомянуть про AWL мне помешала скромность. Хорошо, что это сделали за меня.   

Про встроенный язык 1С я ничего не знаю. За упоминание Глагола и Gentee -- спасибо. TBPL посмотрю.

Ну как же можно пропустить такой "шедевр"  там даже свой диалект SQL есть, после термина "ЛЕВОЕ СОЕДИНЕНИЕ" (LEFT JOIN, кто не понял) я долго бы в глубокой задумчивости 

Stratum   


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

Это сообщение отредактировал(а) WERITAS - 18.1.2007, 15:45

Спасибо за ссылку. (Согласен, что "строковые подстановки" -- очень упрощенное определение.)

А про Stratum можно подробнее? Насколько я понял, какой-то язык симуляции?

Stratum - Среда, в составе которой есть: графический двухмерный и трехмерный редакторы, текстовый редактор, гипертекстовая и гиперграфическая база, база данных, база моделей, математический решатель, технология проектирования, звуковой и видео проигрыватели, язык (синтаксис которого очень похож на С, да собсно все модули Stratum'а написаны на С), система управления периферией компьютера, отображения и управления данными, система связи и управления всеми этими объектами между собой. Изначально среда создавалась для моделирования микропроцессорных систем автоматического управления. Поэтому что-нить "красивое" в ней не сделать. Но сейчас ее постепенно расширяют  Правда много еще чего нет (например моделей освещения)

Это сообщение отредактировал(а) WERITAS - 22.1.2007, 22:11

Еще пять копеечек в тему.

Был такой небезынтересный язык "Эль-76", тесно связанный с "Эльбрусами". Он процедурный и достаточно высокоуровневый, но во многом ориентированный на аппаратную поддержку тех структур данных, с которыми работали эти суперкомпьютеры. В связи с проектом E2K может быть можно даже ожидать, что этот язык возродится и найдет прмменение.

Встречал упоминания о языке "ИНФ", но ничего про него не знаю. В Сети тоже ничего не нашел.

Вот случайно наткнулся на такую интересную информацию по теме:

http://www.transhumanism-russia.ru/content/view/331/116/

Язык ДРАКОН был создан прежде всего как инструмент, обеспечивающий безукоризненное взаимопонимание между людьми. Он возник в результате обобщения опыта, накопленного при проектировании космического корабля «Буран».

(Стоит почитать, любопытно. С одной стороны -- в описании маловато конкретики и многовато воды, совсем как у автора одного "душевного" языка программирования. ;) С другой -- то, что эта разработка вполне реально использовалась в проекте "Буран", заставляет относиться к ней с интересом.)

В этой статье упомянуты (без раскрытия деталей) языки НУТ, БАРС и ПОЛЯР: http://www.computer-museum.ru/histussr/kronos.htm

Уще в Советстком союзе был разработан язык Утопист - это прибалты. А Вельбицкий создал РТК-комплекс, где программа рисовалась схемами... Видимо это была его докторская... 

Вижул Васик на русском...