"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-co

"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-programming-language-by-brian-w.-kernighan-dennis-m.-ritchie.org/The%20ANSI%20C%20Programming%20Language%20by%20Brian%20W.%20Kernighan%2C%20Dennis%20M.%20Ritchie.pdf https://ia803407.us.archive.org/35/items/the-ansi-c-programm...