Type checking recommendations

[Gobot1234]

Should there be a default recommended type checker for projects?

I've personally been trying to integrate basedpyright in FBU repos as it has a easy to adopt incremental mode with its baseline feature. ty and pyrefly are both quite interesting and have the same incremental mode however they aren't as mature. The reason I went with basedpyright is due to it being a fork of pyright (the default type checker in VSC) but want to hear other's opinions. I think in a while I'd probably suggest ty as it goes with the other uv/ruff tools.