3 ms·

I think the contracts provide runtime enforcement. Typed Racket provided compile-time enforcement. I don’t know if any other languages have both.