Существуют ли чисто декларативные языки программирования общего назначения?

Question

Существуют ли чисто декларативные языки программирования общего назначения?

Я исследовал декларативные языки, и кажется, что декларативный - это просто общий термин для логических и функциональных языков. Или я не прав? Существуют ли какие-либо декларативные языки программирования общего назначения, которые нельзя классифицировать как функциональные или логические (al), а просто как "декларативные"?

7

functional-programming declarative logic-programming

Источник

user1024501 17 сен '12 в 01:38

1 ответ

Решение

Другие вопросы по тегам functional-programming declarative logic-programming

user259769 17 сен '12 в 02:13 2012-09-17 02:13 · Accepted Answer · 2012-09-17 02:13

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

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

Для того, чтобы языки общего назначения были, ну, в общем, универсальными, им требуется способность кодировать побочные эффекты. Таким образом, им трудно быть декларативными.

Такие языки, как F#, имеют прочную основу в функциональном программировании, но имеют любые конструкции, позволяющие программировать и создавать побочные эффекты. Это делает F# языком общего назначения, но позволяет смешивать кодирование императивного стиля с декларативным кодированием.

Хотя это и не совсем невозможно, я подозреваю, что не существует "чисто декларативных" языков программирования общего назначения, просто по определению.