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@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 - 10:16:24 CDT