News for hackers. Stuff that matters.

A comment on The Anti-Human Consequences of Static Typing.

Re:The Anti-Human Consequences of Static Typing by jobeirne on Monday August 12, 2013 @05:12PM (#6202003)
> A static type system is a mechanism whereby an algorithm determines if a program exhibits a property, P, and if the property is not found to hold, then the program is rejected.

Doesn't this definition encompass dynamically typed languages as well? e.g. P is syntactic validity?

[ Parent | on HN ]
Re:The Anti-Human Consequences of Static Typing by jeapostrophe on Monday August 12, 2013 @05:18PM (#6202050)
Syntactic validity is not a property of a program, but a property of a piece of text that makes it a program. In any case, the point is that type systems purport to identify some amount of "goodness" in a program. I agree that "The compiler will produce something" is a property, although I doubt it is a property any static type proponent would defend as particularly important.
[ Parent | on HN ]