strict-lite

[wyattscarpenter]

I love using pyright and how it helps me catch errors in my code! Recently I've been experimenting with something I've been thinking of as "strict-lite" mode. Basically, I want to enable every check from "strict" (and maybe more...) except those that complain as a result of my dependencies being untyped, because it's not realistic for me to type all of my dependencies. (Although, I totally understand that ideally I would, in order to actually achieve type soundness.) Also: I didn't verify these were all because my dependencies were untyped. Basically I just switched strict mode on, got 800 new type errors, and then removed rules until they got down to a manageable level (the manageable level being the new errors caught by strict that I could actually do something about, some of which were quite helpful.) Here's what I ended up with, if anyone's interested:

  "typeCheckingMode": "strict", // Far too many complaints about types being "partially unknown" for us to use this on its own, at least at the moment.
  "reportUnknownMemberType": false,
  "reportUnknownVariableType": false,
  "reportUnknownArgumentType": false,
  "reportMissingTypeStubs": false,
  "reportUnknownParameterType": false, // This one was only useful to me because of literally one type definition I tried to use from a foreign project, that was incompletely typed. YMMV. Maybe it can be removed.
  "reportUnknownLambdaType": false //I think this one is especially likely to just be masking issues (or, rather, undeducible types, which may not indicate any real underlying issues) that are actually in our code, not from deps, based on a small investigation.