> It becomes more verbose with this type annotation everywhere making it look like nightmare. this is part of the appeal of the "header file approach" a la RBS

> It becomes more verbose with this type annotation everywhere making it look like nightmare. this is part of the appeal of the "header file approach" a la RBS, as mentioned in the article https://blog.jez.io/history-of-sorbet-syntax/#the-header-file-approach-like-what-rbs-is-today https://blog.jez.io/history-of-sorbet-syntax/#the-header-fil...