3 ms·
> In terms of syntax, I think there's a divide between the needs of static type-systems, versus dynamic ones. Type systems fall squarely in the "semantics, not
by catnaroek 13y ago
> In terms of syntax, I think there's a divide between the needs of static type-systems, versus dynamic ones.
Type systems fall squarely in the "semantics, not syntax" department.
- brudgers 13y agoYes, that is true of type systems. But the comment was that syntax is needed for a language which implements static types. This implies static type checking, and while Hindley-Milner inference can do a lot of lifting, a statically typed language which had no syntax for explicitly expressing types might struggle to express solutions that lend themselves to programmer defined data types.