[peatmoss]

Racket also has contracts that can enforce conditions in an alternative way to types: https://docs.racket-lang.org/reference/contracts.html

EDIT: I mean in addition to Typed Racket

[spdegabrielle]

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