25 ms·
Racket also has contracts that can enforce conditions in an alternative way to types: https://docs.racket-lang.org/reference/contracts.html https://docs.racket-
by peatmoss 7y ago
Racket also has contracts that can enforce conditions in an alternative way to types: https://docs.racket-lang.org/reference/contracts.html https://docs.racket-lang.org/reference/contracts.html
EDIT: I mean in addition to Typed Racket
- spdegabrielle 7y agoI think the contracts provide runtime enforcement. Typed Racket provided compile-time enforcement. I don’t know if any other languages have both.