Comment by neuland

It's cool to see another type checker! I haven't had any big issues with MyPy, but competition is good in a healthy ecosystem.

The language server / editor integrations are an interesting goal and that seems to be why they have the watchman stuff in there.

I was initially kinda put off by that, as tools that watch for file events never end up working for me because I save like every 10 seconds.