@mcc @program Extremely primitive and probably long completely broken, but a long time ago, I did a strong/incremental typing implementation in Perl:
https://metacpan.org/pod/typesafety

If anyone ever actually used it besides myself, I never heard about it.