Earlier quoted context omitted.
>> Most developers [from context: who want static types] turn to C++, Java, or C# > I'd be surprised if more than half (most) developers using static typing use those languages and not others outside that set. Really? I'd be surprised if it was less than 90%. What is the competition? Go, TypeScript, Swift, Scala, Kotlin, Rust (in rough order of my gut sense for how widely used they currently are)? These are all still…
> If you argue that C has static types, then I guess you're probably right. C (like C++) is both statically and weakly typed; strong and static typing are orthogonal axes (dynamic but strongly typed languages are common.) If you mean strong and static when you say static, you need to take C++ off your list.
It's about C not having any generics or similar things (like C++ templates), so you need to fall back way more often on void*.
So on that axis Go is roughly as statically typed as C, albeit more strongly typed.
On the other hand C++ is more statically typed than C, but is about as strongly typed (afaik).