Sorbet · A static type checker for Ruby

Is there anyone here using that could provide some feedback about Sorbet?

Curious how this compares in practice to the state of the art with Python (mypy?)