4 ms·
Functional is a type of declarative language. http://en.wikipedia.org/wiki/Declarative_programming http://en.wikipedia.org/wiki/Declarative_programming
by spectre 17y ago
Functional is a type of declarative language.
http://en.wikipedia.org/wiki/Declarative_programming http://en.wikipedia.org/wiki/Declarative_programming
- ilyak 17y agoIn computer science, declarative programming is a programming paradigm that expresses the logic of a computation without describing its control flow. XSLT does describe control flow pretty explicitly; most functional languages I know, too. In other hand, languages like Java allow the VM to shuffle their control flow considerably. I vote for dropping "declarative". Call query languages query languages, functional functional.
- wlievens 17y agoIsn't Prolog declarative?
- mahmud 17y agoIt IS. Declarative != Functional, despite the huge overlap.
- ilyak 17y agoProlog - maybe. XSLT, ML, whatever - are not.
- DrJokepu 17y agoProlog is a logic programming language and as far as I know logic programming is a subset of declarative programming.
- OliverM 17y agoProlog has a logic core but also some imperative features. Programmes can be specified in a purely declarative manner.
- wlievens 17y agoYes, I was discarding the imperative features. It always struck me as odd how purists adore Prolog for its conceptual clarity, but then as soon as you want to write anything nontrivial in it, they come and tell you to place "cuts" everywhere, exposing the imperative execution order throughout the program. IMHO this is evidence of Prolog being a failure.