> The "strong type systems" work by having you design the types correctly in the first place.
I was responding to a comment that was suggesting letting an AI to do that.
> The one thing worse than debugging code is debugging "types".
It depends on a language. In languages with first-class types, we have the same tools to debug types. Classical C++ templates are more akin to a macro system than a type system.
I was responding to a comment that was suggesting letting an AI to do that.
> The one thing worse than debugging code is debugging "types".
It depends on a language. In languages with first-class types, we have the same tools to debug types. Classical C++ templates are more akin to a macro system than a type system.