What is a type error?

[Chris Smith]

We Chris's stick together, as always.

Marshall <marshall.spight at gmail.com> wrote:
> > Unfortunately, they are the right level.  Actually,the right level
> > might even be lower, the fields within a record, but that's moving
> > even farther away from the direction you wish to go.  The right level
> > is the lowest level at which the programmer can see and manipulate
> > values.
> 
> But how is this not always "the bit"?

First of all, we should be consistent in speaking about the logical 
language semantics, which may not include bits anyway.

That said, if bits were the primitive concept of data in a language, 
then we'd be able to get away with talking about higher-level concepts 
because we agree to always manipulate a larger structure (a byte, for 
example) as a pure value.  If we were using bitwise operators, then we 
wouldn't be able to get away with it, for example.  That said, it's also 
quite possible to consider aliasing on higher levels as well; it's just 
not possible to point out the lack of aliasing for higher levels of 
abstraction, and thus conclude that no aliasing exists.  Aliasing is 
still possible for entities within those layers of abstraction.

-- 
Chris Smith - Lead Software Developer / Technical Trainer
MindIQ Corporation