> C agrees that in principle an integer, a pointer and a floating point value are in fact different kinds of thing. Sure, but that's kiddie-pool, 1970s-level s

> C agrees that in principle an integer, a pointer and a floating point value are in fact different kinds of thing. Sure, but that's kiddie-pool, 1970s-level stuff compared to modern type systems. No business in their right minds is saying, in 2023, let's develop a new system in C. If they are, it's because they have people stuck decades in the past who are arguing for it. (Edit: or, of course, they need to integrate with a C system, the number of which "is too damn high".