3 ms·
Which language do you work in? I can promise you that Typescript can type things way more strictly than your language, unless it's Julia. Typescript allows you
by dtech 5y ago
Which language do you work in? I can promise you that Typescript can type things way more strictly than your language, unless it's Julia.
Typescript allows you to not make typing very strict when it's not important, but also allows you to define things stricter than your average Haskell codebase.
Most other languages have only 1 option about how strict a piece of code is typed.
- mrkeen 5y agoMy situation is: I statically know the types of things at compile time. I'm not sure how to 'define things stricter than that'. My question was: what benefits would I get from sometimes not knowing the types at compile time (which is what I guess gradual typing is)?