Type checking, type abstraction. If you're willing to throw those out, you can "get the same thing" with structs and void pointers.