I'm not sure either. It wouldn't take Sorbet much to support both. Sorbet goes beyond merely typing method signatures since you can add variable typing too wh

I'm not sure either. It wouldn't take Sorbet much to support both. Sorbet goes beyond merely typing method signatures since you can add variable typing too which helps the static analysis infer more types.