Here is a very insightful post: "What, If Anything, Is A Declarative Language?" (https://existentialtype.wordpress.com/2013/07/18/what-if-anything-is-a-declarat

Here is a very insightful post: "What, If Anything, Is A Declarative Language?" (https://existentialtype.wordpress.com/2013/07/18/what-if-anything-is-a-declarative-language/ https://existentialtype.wordpress.com/2013/07/18/what-if-any...). Written by a functional programming fellow, Robert Harper, this post is not a rant around the claim we can't escape the procedural effectful world. It's rather a call for the awareness that the "how" is a fundamental issue in programming.