> false distinction between static versus dynamic typing

This is the Perl 6 view. See "Getting beyond static vs. dynamic" http://www.jnthn.net/papers/2015-fosdem-static-dynamic.pdf

In Perl 6:

> 1. A value.

    sub (\var) { say var }

> 2. A number.

    sub (Numeric \var) { say var }

> 3. A floating point number.

    sub (Num \var) { say var }

> 4. A floating point number between 0.0 and 100.0.

    sub (Num \var where 0.0 .. 100.0) { say var }

> 5. A floating point number between 0.0 and 100.0, and optimize for runtime performance instead of precision.

    sub (num \var where 0.0 .. 100.0) { say var }

> Ada and Microsoft Visual Basic incorporate some elements of this concept but didn't take it far enough.

Did they take it as far as Perl 6 per the above?