[pengaru]

"type system" actually means something substantial in the era of C's relevance, and C specifically didn't have one.

But nobody apparently cares about the in-context meaning of these words anymore.

Operating system, UNIX system, the system() function, system calls are costly, try find any mention of type system in the K&R C book [0]. Search for the word system, it's always in the context of something relatively huge, complex and usually runtime-dynamic vs. the C language.

To call C's type checking a type system is to completely misunderstand something fundamental about the language.

[0] https://ia803407.us.archive.org/35/items/the-ansi-c-programm...