From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <817ee90e37ad2a8ace10b9e70ee57161@coraid.com>
From: erik quanstrom <quanstro@coraid.com>
Date: Mon, 30 Apr 2007 20:22:56 -0400
To: 9fans@cse.psu.edu
Subject: Re: [9fans] speaking of kenc
In-Reply-To: <FZmdnUfkvKHV0anbnZ2dnUVZ_qarnZ2d@comcast.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Topicbox-Message-UUID: 53dc4c4e-ead2-11e9-9d60-3106f5b1d025

> It is just an arithmetic type with width at least 1, and
> conversion rules aimed at maximizing its Boolean nature.
> 
> It is a pity that the result of relational expressions (for
> example) cannot be Boolean, for reasons of historical
> compatibility, but that's not the fault of _Bool (or plain
> "bool" as it is meant to be used via <stdbool.h>).

this is different from how c has traditionally done types.
c types mapped to what the hardware provides.  unless
you're working on a hc6508 or similar, you probablly don't
have bit-wide memory access.

it's more in the spirit of oberon, or pascal which have
had more formally defined and machine independent
types.

- erik