So I asked Simon Peyton-Jones and Phil Wadler how languages other than C and its derivatives did conditional expressions; one of the replies was: On Mon, 31 Jan 2000, Philip Wadler wrote: > Tony Hoare had a nice ternary `if'. He writes > > if c then d else e > > as > > d <c> e > > This satisfies an associative law: > > d <c> (e <c> f) = d <c> f = (d <c> e) <c> f > > The paper appeared, I think, in CACM circa 1982. Perhaps this would be a good time to ask around and see what else people have in their back pockets? A-week-of-coding-can-sometimes-save-an-hour-in-the-library'ly yours, Greg
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4