This blog post points out problems with the three criteria given in the article for what "declarative" means: http://existentialtype.wordpress.com/2013/07/18/what-if-anyt...

edit: addresses -> points out problems with.

edit2: the blog post also addresses the "referential transparency" characterization.