[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]

Objects are runtime entities. They are created and manipulated when the program is running.