Past, Present, and Future of Sorbet Type Syntax

A discussion of how Sorbet's type syntax came to be, the problems it solves, and how it could improve.