Re: Implementation of boolean types.
From: Marshall Spight <marshall.spight_at_gmail.com>
Date: 14 Jul 2005 08:16:24 -0700
Message-ID: <1121354184.580293.296010_at_f14g2000cwb.googlegroups.com>
Date: 14 Jul 2005 08:16:24 -0700
Message-ID: <1121354184.580293.296010_at_f14g2000cwb.googlegroups.com>
-CELKO- wrote:
> Booleans [...] are a sign of "punch card" and
> assembly language programming.
That's just ridiculous. What do you think connects up all those terms in a WHERE clause? Where do you think the definition of natual join comes from?
{ (a,b,c) | (a,b) in S AND (b,c) in T }
Do you think predicate logic is a sign of assembly language?
Edsger Dijkstra wrote an essay in praise of the boolean type in language design. And Boole himself died about a hundred years before the invention of assembly language.
A language not having a clean treatment of the boolean type in version 1 is a sign of bad design.
Marshall Received on Thu Jul 14 2005 - 17:16:24 CEST