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/wh

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-anything-is-a-declarative-language/ 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.