JSON всего лишь язык представления данных и использовать его можно как угодно

но "функциональный" - это подмножество "декларативный"

а не надмножество ли?

а не наоборот

мне кажется нет

не всякий декларативный язык функциональный

Модель JSON это RoseTree

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

Я могу представить себе кодинг на JSON, будет этакий лисп) Только вместо s-выражений джейсон

На haskell написан egison.org

JSX/TSX это как раз таки DSL (вот с embedded конечно можно поспорить), но в том же TS его можно даже немного кастомизировать: https://basarat.gitbook.io/typescript/tsx/others

По факту, любой язык разметки без императивной логики — функциональный.

По сути, язык разметки описывает создание AST, которое можно считать единственным "возвращаемым значением" всех конструкций. Без императивных конструкций (по факту, это только присваивания, я не встречал языков разметки с исключениями) у нас остаются только ветвления и map/filter, как вариант, записанные в виде foreach. Ну ещё quote/unquote/splice для пущей важности. IMHO, по итогу получается тотальный функциональный язык.

Ну да. Программу можно записать в любом виде. И в скомпилированном виде она все еще программа, но представлена вообще набором байтов :)

Да, но шаблонов с логическим программированием я не встречал, так что опять таки по факту — тотальный функциональный язык. 🤷‍♀️

а почему тогда язык разметки нельзя считать императивным? )

ну, типа

<b>Foo</b>

это короткая запись для

PushFontWeight(Bold);
DrawString("Foo");
PopFontWeight();

<b>Foo</b>

PushFontWeight(Bold);
DrawString("Foo");
PopFontWeight();

Вы не путаете ли нотацию языка и его реализацию?
А то с тем же успехом можно сказать, что Haskell — просто короткая запись для машинных императивных команд. 😉

Какой-то малоконструктивный срачик пошёл

так можно и любой императивный язык объявить декларативным. Типа описываем первую инструкцию, потом вторую и так далее, сплошные описания, никаких алгоритмов ))

Totally true: http://conal.net/blog/posts/the-c-language-is-purely-functional 👍