4 ms·
By the way, Google seems to think that it's called Tennent's Correspondence Principle, not Tennet's. Might be helpful to those who, like me, hadn't heard of it.
by jdale27 15y ago
By the way, Google seems to think that it's called Tennent's Correspondence Principle, not Tennet's. Might be helpful to those who, like me, hadn't heard of it.
- wycats 15y agoFixed in the original post. Thanks for letting me know about the typo!
- bodhi 15y agoIt's described briefly in R. D. Tennent's Book Principles of Programming Languages, but it doesn't really go into much depth about the ramifications. Did Tennent write a paper with more discussion of the principle? (I got a hold of a copy after I ran into the topic previously: http://blog.marcchung.com/2009/02/18/how-closures-behave-in-ruby.html http://blog.marcchung.com/2009/02/18/how-closures-behave-in-... )