I think the debate may be leaning towards dynamic. - The aforementioned keynote highlighting the various reasons Rich chose to make it dynamic. - CircleCI (on

I think the debate may be leaning towards dynamic. - The aforementioned keynote highlighting the various reasons Rich chose to make it dynamic. - CircleCI (one of the major users and propronents of core.typed) dropping it. - The introduction of spec as an alternative for some of the reasons people use type systems (its certainly not a drop in replacement and doesn't intend to be). - Spec allowing different kinds of verification not possible with a type system on its own.