An observation about the discussion immediately under "In fact, we in Ruby have several incomplete systems of type-annotations-in-disguise" - to me, that list i

An observation about the discussion immediately under "In fact, we in Ruby have several incomplete systems of type-annotations-in-disguise" - to me, that list indicates that fitting all those things into a SINGLE type system is a huge challenge. The spaces of possible types for a JSON API, an ORM, and an interactor's inputs are all different.