Ben, Tennent's Correspondence Principle means that you always can create a function that can replace an expression and it always means the same thing. You know what, Java is not a functional language, and it never will be...
I think that if you make references to a theoretical principle from 1981 you should also show examples of how that has any practical meaning. Besides, Tennent was mostly into Pascal... Also, that principle is for analysis and not mandatory for any kind of functionality. Cheers, Mikael On Jan 15, 10:20 pm, Ben Schulz <[email protected]> wrote: > Heh? Breaking out of/returning from within loops, I thought that's > what's being discussed?? > > Reinier: The second difference should be that "CICE violates Tennent's > Correspondence Principle while BGGA does not." That is not only more > concise, it is also more accurate. > > With kind regards > Ben > > On 15 Jan., 18:41, "John Nilsson" <[email protected]> wrote: > > > Actually, what is the use case for long returns? What would you like to do > > with it? > > > The examples I can come up with is better solved with tail recursion... > > > BR, > > John --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "The Java Posse" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/javaposse?hl=en -~----------~----~----~----~------~----~------~--~---
