Декларативных языков программирования нить

Ну если бы ты пролог не выкинул, я бы написал про даталог, если считать, что критерием является именно декларативность (тут требуется четкое определение). Он, по некоторым данным, что ни на есть само отражение реляционной алгебры, в отличие от.

Логические, стековые и функциональные ЯП за декларативные не считать.

А почему функциональные языки не являются декларативными по-твоему?

Я так понимаю, ему не нравится проблема останова, иначе трудно объяснить.

Кстати, тс, есть еще изврат xslt, ну и регэкспы в принципе можно считать dsяп.

MetaPost

Глянул в вики на пример кода и... уж больно напоминает С с каким-нибудь SDL.

label.llft (btex $z_4$ etex, z4t);
    for i=0 upto 4:
        drawdot z[i]t withpen pencircle scaled 2;
    endfor

вот это вот всё

Какие декларативные семейства ЯП (кроме SQL) вам известны?

Не семейство и даже не отдельный язык, но сразу в голову приходит LINQ из .NET.

А почему функциональные языки не являются декларативными по-твоему?

Чуть уточню. Почему тот-же haskell нельзя назвать декларативным?

Он точно декларативный. Погрепь например тут по кей-ворду whatever.

Эппл для view layout использует constraint'ы вместо упаковки. Там есть язык расположения контролов, типа H:|-[view1(==view2)]-[view2]-(>=20)-|. DSL построен на линейном решателе cassowary.

Мм, круто, вырешивает общий whatever, правильно понимаю? А его встраивать можно, а то мне как раз скоро возможно нужен будет такой язычок?

Декларативное программирование подразумевает непосредственное декларирование желаемого результата, из чего, очевидно, следует, что декларативный ЯП, не являющийся AI, не может быть полным по Тьюрингу.

В функциональном же программировании, всё равно надо описывать метод решения задачи (как именно вычислить приближённое значение числа пи, например). И кроме того, ФЯП полны по Тьюрингу, обычно.

LINQ же из семейства SQL, нет?

И все-таки. Покажи пример недекларативного хаскеля.

вырешивает общий whatever, правильно понимаю?

Угу, и решает всякую линейную алгебру. По поводу встраивания не знаю.

beginfig(70)
    pair A,B,C,D,M;
    A=(0,0); B=(2cm,3cm);
    C=(1cm,0); D=(-1cm,2cm);
    M = whatever [A,B];
    M = whatever [C,D];
    draw A--B;
    draw C--D;
    draw M withpen pencircle scaled 4bp;
end fig;

QML из Qt, нечто среднее из языка разметки и ЯП.

функциональные ЯП за декларативные не считать.

Чойта? Total functional programming

внезапно Makefile

XSLT, Prolog

Разве SQL это ЯП?

HTML.

Как тут уже сказали: SQL — не язык программирования.

Логические, стековые и функциональные ЯП за декларативные не считать

Ответ: пустое множество.

это язык разметки

QML — это ж джабаскрипт банальный (ну почти). он императивный.

это же

for(auto &i: scene)
{...
}

такой, не?

Как тут уже сказали: SQL — не язык программирования.

да? SQL (ˈɛsˈkjuˈɛl; англ. structured query language — «язык структурированных запросов») — формальный непроцедурный язык программирования (wiki).

Xmonad

Да, кстати, пожалуй подойдёт. Вообще, всё семейство языков, предназначенных для сборки приложений.

Prolog — логический.

XSLT, пожалуй, подойдёт

Ну так и XML язык программирования, более того, я видел программы на нем

XML (англ. eXtensible Markup Language — расширяемый язык разметки;

Прошу прощения, не обратил внимания на эти статьи из Всемирного Словаря Обязательных к Употреблению Определений.

Вообще, всё семейство языков, предназначенных для сборки приложений.

можно добавить все семейства языков «соединяющих входы с выходами», то есть всякие Verilog`и и иже с ними. Они скорее декларативные чем нет, хотя и на грани :-)

Sql тоже тогда язык запросов, а не программирования. К чему это словоедство? Что sql, что html/css, что ini это все описание чего-то, по чему можно построить автомат некоторого рода. У нас тут XY проблема или что, не томи?

всё полезное, что на нём написано

Да. И он декларативный.

На лиспе их дофига наклепали разных. Например asdf, esrap.

HTML

Но это не язык программирования.

SQL (ˈɛsˈkjuˈɛl; англ. structured query language — «язык структурированных запросов») — формальный непроцедурный язык программирования,

Чёт не ищется.

Прокачивай свою ищейку:

https://github.com/nikodemus/esrap

https://common-lisp.net/project/asdf/

Вообще CL - самый натуральный язык для поклёпки сабжей на базе s-exp. По части вопроса:

Какие декларативные семейства ЯП (кроме SQL) вам известны?

Я сам создал 2 более-менее навороченных языка.

Почему? Язык же программирует прорисовку веб-страничек на экране.

подозреваю что в подобной формулировке декларативный язык и язык программирования это дихотомия

Но это не язык программирования.

Уж всяко не меньше, чем SQL.

Первый абзац достоин быть подписью.

И это.

Продолжайте наблюдения. Не забывайте писать отчёты!