[TYPES] Declarative vs imperative

[Uday S Reddy]

Vijay Saraswat writes:

> Declarative means a heck of a lot. (Though I do agree that distinctions 
> between function and logic programming are probably not that significant 
> conceptually.)

Indeed, "declarative" means a lot.  But, "declarative programming language"
doesn't.  All programming languages have a "declarative interpretation" and
a "procedural interpretation" (to use terms invented in the logic
programming community).  If somebody claims that some language is not
"declarative", it just means that they never thought about its declarative
interpretation, not that it doesn't exist.  Ignorance is peddled as a fact
of reality.

Cheers,
Uday