Does anyone know what Matz thinks of Sorbet? He has previously been opposed to adding type annotations to Ruby [1]. This is in sharp contrast to Python, where

Does anyone know what Matz thinks of Sorbet? He has previously been opposed to adding type annotations to Ruby [1]. This is in sharp contrast to Python, where Guido has overwhelmingly embraced type annotations. [1] https://bugs.ruby-lang.org/issues/9999#note-13 https://bugs.ruby-lang.org/issues/9999#note-13