This post is part of a series exploring a brain-melting epic known as Concepts, Techniques, and Models of Computer Programming. Check the blog index for more. # What Is Declarative Programming? Van Roy and Haridi have a way with definitions in Concepts, Techniques, and Models of Computer Programming (CTM), but interestingly, declarative computation and declarative programming get thrown around a l