Comment by gls2ro

> Requires learning sig block's unique DSL syntax.

This is an interesting proposal. But for posterity I am going to critique the critique on the website about Sorbet:

Sorbet is Ruby and while it has a DSL that is no different than any other gem providing methods or objects to use. For example you can define a type and assign it to a Ruby constant. Because Sorbet is Ruby.

In general I would say any type system has its own syntax when you go deep into it and need more than this param has this simple primitive type and the method returns this simple primitive type. So you have to learn a DSL and the syntax of a type system.