Dec. 10, 2020
7:30 p.m.
On Thu, Dec 10, 2020 at 17:12 <redradist@gmail.com> wrote:
No, it is not good design choose, because then all type-checker will have different optional and it will be a mess ... It should be done in one place like python
I think the nature of open source is that all the tools have different options and it is a mess. I don't think this is an unequivocal bad thing. No doubt, it is a joy when a different things are consistent, but it's also true that standards slow progress. I don't think python type checking in various tools is ready to have its progress slowed by standardization quite yet.