[feelix]

Why would you say that "Cello isn't really C"?

[orange_fritter]

It's arguable that extensive use of macros and faux-dynamic-typing violate the ideology of C that makes it simple and predictable.

[catnaroek]

I'd remove the “faux”. Cello is dynamically typed.

[chme]

Then you could say that just using void-pointers in C that C is also dynamically typed.

[loeg]

In C you would only use void pointers very occasionally, to work around the lack of generics/templates in data structures. Most of the time, objects have types. In Cello, everything is a void pointer. Limited as it is, compiler type checking in C is still valuable.

[catnaroek]

Static typing gives types to expressions (in the program text), not to objects (at runtime).

[loeg]

I'm not sure what you mean by objects at runtime. Can you elaborate? The sort of objects I interact with at runtime are typically typed structures, so I guess I don't understand your statement.

[catnaroek]

Not void pointers per se, but if you use runtime information to determine how to interpret the data pointed by a void pointer, that's dynamic typing, yes.