perhaps this is the place to mention my pet peeve, that programmers think "bool" should be a type synonymous with logic values. I would find it much more usefu

perhaps this is the place to mention my pet peeve, that programmers think "bool" should be a type synonymous with logic values. I would find it much more useful if language designers felt compelled to include set theory types and operators. and the C language shows quite brilliantly that zero/nonzero is a perfectly good space in which logic can operate, and I've never understood the fetish of wishing to make sure that !NULL is an error. So, you'll know I designed the language if declaring a bool gets you a set. (You can use them for logic, the Boolean algebra of sets is one-to-one-and-onto the Boolean algebra of logic.)