3 ms·

> the C type system The what now? C has a type system in the same sort of way that the United States has socialism.

• tialaramex 3y ago
  A strong type system, weakly checked. I mean, the type system it isn't checking still isn't as strong or powerful as I'd like, but it is there. Unlike your CPU which doesn't care, C agrees that in principle an integer, a pointer and a floating point value are in fact different kinds of thing. I think Option<!> is excellent, C thinks I should just write a comment in the program instead, these are big differences but they aren't so fundamental as the difference between US corporate welfare and socialism.
  • antonvs 3y ago
    > 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".