Switch to use pyright

[GreyElaina]

No description provided.

[laike9m]

It's on the roadmap.

[yanyongyu]

Something may be useful:

Pyright playground server (node): https://github.com/erictraut/pyright-playground

--mypy ++pyright

Mypy: !!!!!

[laike9m]

I've been using pyright-playground during development too, it's very handy. I also plan to add a link to it for every challenge, with code automatically populated, so people can use pyright-playground's language server & autocomplete (which we are not likely to provide here )

[laike9m]

I'm starting to work on it, and hopefully to get it done this weekend

[laike9m]

Have switched to pyright, closed.