Perl6 & Rebol are some other examples of dynamic languages which come with optional typing. NB. And I believe Perl6 in certain cases will/can raise compile-tim

Perl6 & Rebol are some other examples of dynamic languages which come with optional typing. NB. And I believe Perl6 in certain cases will/can raise compile-time type errors.