Re:Strong typing, a hill I'm willing to die on
by _dain_ on Wednesday October 04, 2023 @02:23PM
(#37769460)
I like type systems as much as anyone but I can't see how your type system will check that sin(pi) == 0
if you have a type system expressive enough to do things like that, you've basically got another turing-complete layer on top of your existing language, which is itself ... dynamically typed.
if you have a type system expressive enough to do things like that, you've basically got another turing-complete layer on top of your existing language, which is itself ... dynamically typed.