not exactly what you describe but it may be worth looking at (gradually) typed racket in this context: https://docs.racket-lang.org/ts-guide/ https://docs.racke

not exactly what you describe but it may be worth looking at (gradually) typed racket in this context: https://docs.racket-lang.org/ts-guide/ https://docs.racket-lang.org/ts-guide/. the contract system might also be of interest: https://docs.racket-lang.org/reference/contracts.html https://docs.racket-lang.org/reference/contracts.html