That's a really good question Erik. It's one of those things you know the meaning of untill someone asks you what it is ;-) I am no language expert but my definition of types is the number of intrinsic sorts of variables. A language is strongly typed if you cannot assign a variable of one type directly to one of another type. 8051 assembly language has two intrinsic sorts of variables (types), bits and bytes. The nature of the instruction set (language) is that you cannot accidentally assign one type directly to another type (the instructions just do not exist) so it is strongly typed.

C has a different number of intrinsic sorts of variables (types), like int, char, float etc. It is poorly typed because you can quite legally assign one type to another.

Notice I have specifically excluded types defined by the user (structs in C for example).

HTH

Ian