Языки свервысокого уровня.

← →
tesseract © (2009-04-28 00:02) [0]

Просто интересно - это просто теория или их даже можно применить на практике? Забитый всеми лисп или зубодробительный хаскел - они построены для реализации "теоретического программирования ", "решения задач абстракции от мира всего", "за минимум строк кода для решения обыденной функции мы сломаем вам мозг" или ещё для чего? Я понимаю оберон - минимум всякой ерунды максимальная читаемость, возможность с лёгкостью создавать предметно-ориентированные решения - но эти то курьезы зачем ?

← →
KilkennyCat © (2009-04-28 00:03) [1]

ты еще спроси меня, с какого перепугу я в конце 80-ых изучил Аду.

← →
Германн © (2009-04-28 00:20) [2]

> KilkennyCat © (28.04.09 00:03) [1]
>
> ты еще спроси меня, с какого перепугу я в конце 80-ых изучил
> Аду.
>

Молодой был, глупый. Плюс талант вивисектора! :)

← →
Alkid © (2009-04-28 07:11) [3]

Ну уж не знаю, почему Оберон ты отнес к языку "сверхвысокого уровня". :)
А касаемо "курьезов" - не забивай себе голову. :) Кому надо - те пользуются "забытыми" и "зубодробительными" языками себе на благо.

← →
TUser © (2009-04-28 08:41) [4]

А сверхвысокого - это что? Функциональное программирование?

← →
Alkid © (2009-04-28 09:03) [5]

> TUser © (28.04.09 08:41) [4]
> А сверхвысокого - это что? Функциональное программирование?

Это, скорее, логическое. Или, например, "automatic theorem provers".

← →
test © (2009-04-28 09:09) [6]

Это просто Brainf*ck вы не читали, вот так например выглядит
Hello world

++++++++++[>+++++++>++++++++++>+++>+<<<<-]>++
.>+.+++++++..+++.>++.<<+++++++++++++++.>.+++.
------.--------.>+.>.

← →
test © (2009-04-28 09:11) [7]

Тоже самое без оптимизации

+++++++++++++++++++++++++++++++++++++++++++++
+++++++++++++++++++++++++++.+++++++++++++++++
++++++++++++.+++++++..+++.-------------------
---------------------------------------------
---------------.+++++++++++++++++++++++++++++
++++++++++++++++++++++++++.++++++++++++++++++
++++++.+++.------.--------.------------------
---------------------------------------------
----.-----------------------.

← →
Alkid © (2009-04-28 09:13) [8]

> test © (28.04.09 09:09) [6]
>
> Это просто Brainf*ck вы не читали, вот так например выглядит
> Hello world

И ты это называешь языком "сверхвысокого уровня"??? :)))

← →
Anatoly Podgoretsky © (2009-04-28 09:19) [9]

Сверх высокого уровня это когда = хочу программу и без ошибок.

← →
Alkid © (2009-04-28 09:41) [10]

> Anatoly Podgoretsky © (28.04.09 09:19) [9]
> Сверх высокого уровня это когда = хочу программу и без ошибок.

Тогда тебе нужен язык SIMPLE:

SIMPLE is an acronym for Sheer Idiot"s Monopurpose Programming Language Environment. This language, developed at the Hanover College for Technological Misfits, was designed to make it impossible to write code with errors in it. The statements are, therefore, confined to BEGIN, END and STOP. No matter how you arrange the statements, you can"t make a syntax error. Programs written in SIMPLE do nothing useful. Thus they achieve the results of programs written in other languages without the tedious, frustrating process of testing and debugging.

← →
Дуб © (2009-04-28 10:10) [11]

> Просто интересно - это просто теория или их даже можно применить
> на практике? Забитый всеми лисп

ShaggyDoc"а на тебя нет. Он расскажет про "забИтый всеми" лисп. Опять же про инет магазины на нем было.

← →
tesseract © (2009-04-28 10:10) [12]

> Ну уж не знаю, почему Оберон ты отнес к языку "сверхвысокого
> уровня". :)

Я его и не относил - оберон это язык для программирования, а не доказательства всяких чего-то там. Точнее даже не язык а "идеологическая основа" группы языков.

> ты еще спроси меня, с какого перепугу я в конце 80-ых изучил
> Аду.

Что бы знать язык Ада :-) На до было ещё РАЯ выучить :-)

← →
tesseract © (2009-04-28 10:12) [13]

> ShaggyDoc"а на тебя нет.

Угу, я рассчитывал, что эта намеренная очепятка вызовет бурю практических описаний :-).

← →
Anatoly Podgoretsky © (2009-04-28 10:23) [14]

> Alkid © (28.04.09 09:41) [10]

А где "хочу программу" - это важный элемент, а "чтобы без ошибок" - это просто уточнение к программе.

← →
Alkid © (2009-04-28 10:29) [15]

> tesseract © (28.04.09 10:10) [12]
> Я его и не относил - оберон это язык для программирования,
> а не доказательства всяких чего-то там. Точнее даже не
> язык а "идеологическая основа" группы языков.

Боюсь, кстати, он сейчас более заб[ы/и]тый, чем "академический" LISP.
:) Кстати, поясни мне, если не лень, в чём основные "фишки" Оберона? Его сильные стороны.

← →
Alkid © (2009-04-28 10:29) [16]

> Anatoly Podgoretsky © (28.04.09 10:23) [14]
> А где "хочу программу" - это важный элемент, а "чтобы без
> ошибок" - это просто уточнение к программе.

Ну так будет тебе программа!
BEGIN STOP END
Чем не программа?? :)

← →
Ega23 © (2009-04-28 10:34) [17]

> Боюсь, кстати, он сейчас более заб[ы/и]тый, чем "академический"
> LISP.
> :) Кстати, поясни мне, если не лень, в чём основные "фишки"
> Оберона? Его сильные стороны.

Вирт круче Макарти.
Значит Оберон круче ЛИСП.

← →
Alkid © (2009-04-28 10:39) [18]

> Ega23 © (28.04.09 10:34) [17]

Маккарти постарше будет! Правда он уже умер :)

← →
KilkennyCat © (2009-04-28 10:40) [19]

> а до было ещё РАЯ выучить :-)

Дык его в школе преподавали. Русския Алгоритмический Язык.

← →
tesseract © (2009-04-28 10:42) [20]

> Его сильные стороны.

Простота и читабельность кода + огромная расширяемость. Pascal 2.0 :-) Или 3.0

«линия Вирта», как он её назвал — линия, включающая Паскаль, Модулу-2, Оберон и Оберон2 — это единственный пример «генетической линии» языков-потомков Алгола-60, в которой сложность языка, определённая с необходимыми оговорками как количество лексем в его описании, стабильно снижалась и в настоящее время оказывается ниже, чем у общего «прародителя» — Алгола-60

Жалко, что до практического внедрения ещё далеко :-(

← →
Anatoly Podgoretsky © (2009-04-28 11:09) [21]

> Alkid (28.04.2009 10:29:16) [16]

Это программа, но ведь ее писал программист, а не требовал от компилятора.

← →
Anatoly Podgoretsky © (2009-04-28 11:10) [22]

> KilkennyCat (28.04.2009 10:40:19) [19]

алгоритмическая языка

← →
Anatoly Podgoretsky © (2009-04-28 11:11) [23]

Удалено модератором

← →
Дуб © (2009-04-28 11:18) [24]

> Жалко, что до практического внедрения ещё далеко :-(

Разве? Тут был же ....как его? Забыл. Он еще в команде по продвижению БлэкБокса. Он давал и на практические применения ссылки- что-то там до космоса и ближе.

← →
tesseract © (2009-04-28 11:34) [25]

> Он давал и на практические применения ссылки- что-то там
> до космоса и ближе.

Не язык делает фрэймворк, а фрэймворк язык :-)

← →
test © (2009-04-28 11:48) [26]

Дуб © (28.04.09 11:18) [24]
tesseract © (28.04.09 11:34) [25]

О3(озон) web сервак под Оберон, есть на странице Оберона и варианты реализации под Оси. Все есть и фреймворк, и язык. Рекламы у них нету, Вирт занят академическими делами рекламой никто не занимается.

← →
kaif (2009-04-28 12:06) [27]

Почему забытый всеми лисп?

Visual LISP используется в качестве языка сценариев в системе AutoCAD:

http://www.autodesk.ru/adsk/servlet/item?siteID=123112&id=3197964
http://www.esg.spb.ru/win/Products_archiev/Autodesk/VisualLisp.htm

Ходят слухи, что и сам AutoCAD написан на Лисп.

← →
tesseract © (2009-04-28 12:49) [28]

> Ходят слухи, что и сам AutoCAD написан на Лисп.

Возможно первые версии и был. В те времена Лисп был едва-ли не всестандартом. Вот бы 1С была написана на 1С :-D

← →
Noctis (2009-04-28 12:49) [29]

tesseract © (28.04.09 00:02)

>Просто интересно - это просто теория или их даже можно применить на практике?

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

По поводу практики - почитайте про F#.

> tesseract © (28.04.09 10:42) [20]
> > Его сильные стороны.
> Простота и читабельность кода + огромная расширяемость.

Про расширяемость поподробнее, плз. Метапрограммирование?

> плз. Метапрограммирование?

Вроде не было. Имелось в виду простая расширемость базы. Намного проще, чем в Delphi :-).

> На лиспе писать - не батоны кидать.

Т.е. подразумевается какая-то особо мазохистское желание? Мы не ищем трудности, мы создаём их себе сами ? :-)

Метапрограммирование и всякие мутабельности сильно тормозят систему. Кстати 1С поддерживает метапрограммирование (гы гы ). А остальное стандартные механизмы ИМХО.

Noctis (28.04.09 12:49) [29]
Brainf*ck

Каждый начинающий программировать на Brainfuck немедленно сталкивается со следующими проблемами:

отсутствие операции копирования значения
отсутствие промежуточной (аккумуляторной) памяти
отсутствие условных операторов в их привычном виде
отсутствие привычной арифметики, операций умножения и деления

http://ru.wikipedia.org/wiki/Brainfuck

Лисп рядом не валялся!

> tesseract © (28.04.09 13:43) [31]
> Вроде не было. Имелось в виду простая расширемость базы.
> Намного проще, чем в Delphi :-).

В смысле - для компиляторописателей? А какой с этого профит простому пользователю языка?

> Метапрограммирование и всякие мутабельности сильно тормозят
> систему.

Это неверное утверждение.

← →
Узурап (2009-04-28 14:19) [35]

http://freearc.org/ru/Default.aspx
написано на хаскеле.

darcs - написан на хаскеле.

на лиспе тоже пишут, но сходу примеров не вспомню (про автокад уже сказали)

>Разве? Тут был же ....как его? Забыл. Он еще в команде по продвижению БлэкБокса

Ермак

← →
Тимохов_ (2009-04-28 14:45) [37]

За, Максим, я только в Хаскеле первый раз проникся в быструю сортировку. Я и раньше знал, как ее сделать, но это скорее машинная память была. А тут - прямо ощутил ход мысли.

Я думаю, что хорошо зная функц. языки - можно легче придумывать алгоритмы.

> За, Максим, я только в Хаскеле первый раз проникся в быструю
> сортировку.

Мне и переставки хватало за глаза всегда. Скорее всего Бакнелл уж очень хорошо всё расписал по базовым алгоритмам. Декларативность она конечно хороша, но уж слишком сильно отрывает от машины.

38 пост - никаких реальных преимуществ пока никто не привёл. Все посылают в вики.

ЗЫ: "Я обяснить сам могу,я понять не могу " :-)

> tesseract © (28.04.09 15:35) [38]
> 38 пост - никаких реальных преимуществ пока никто не привёл.
> Все посылают в вики.
> ЗЫ: "Я обяснить сам могу,я понять не могу " :-)

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

Обычно всё это "покупается" за счёт понижения эффективности по скорости/памяти. Но степень это уже зависит от конкретной реализации. Современные компиляторы Lisp или Prolog генерируют весьма высокоэффективный код.

> тем короче и понятнее программы на нём.

Вот этого, я как раз не наблюдаю ни в хаскеле не в лиспе. хаскел код посмотрел [35] я твёрдо поняд что до "читабельности" пока хаскелу до python или oberon далековато. Даже С++ воспринимается легче. Вместе с этим фактом их главное преимущество куда-то уплывает.

Языки свервысокого уровня. Найти похожие ветки