4 ms·
That's not really heresy considering the existence of Typescript. You're probably right about it needing sponsorship from a big company. Adding type checking to
by Glide 12y ago
That's not really heresy considering the existence of Typescript. You're probably right about it needing sponsorship from a big company. Adding type checking to a language is difficult enough, but the tooling around it is what really makes it powerful.
- jnbiche 12y agoYeah, Typescript is great. But by heresy I meant that's the concept is pretty rejected among many (most?) core Python developers, not that it's not feasible. And I agree that the tooling is part of what makes static types so powerful, but I actually think the tooling might emerge organically if there's a well-designed, effective, and open-source static type checker available.