http://augustss.blogspot.com/2011/05/more-points-for-lazy-evaluation-in.html http://augustss.blogspot.com/2011/05/more-points-for-lazy-ev... is a very good disc

http://augustss.blogspot.com/2011/05/more-points-for-lazy-evaluation-in.html http://augustss.blogspot.com/2011/05/more-points-for-lazy-ev... is a very good discussion of why laziness has some nice semantic properties from the theory point of view. And the post it is responding to, https://existentialtype.wordpress.com/2011/04/24/the-real-point-of-laziness/ https://existentialtype.wordpress.com/2011/04/24/the-real-po... makes some interesting points against it as well.