Embed Notice

What are programming language in widespread use today that:

1. have declared types, but
2. types are only checked at runtime, no static type checking?

I believe you can make Racket do this, and it’s an idiom with old Scheme roots. I think? And don’t some dependently typed languages resort to runtime checks when static proofs aren’t possible?…but I’m looking for no static types, runtime checks only.