I'm considering implementing, maybe as a library or a pull-request to racket/dict, contracts for (partially) specifying which keys exist in a dictionary and a contract for the value on that key. I've got a quick prototype here:
https://gist.github.com/wilbowma/7e97c8a38130c720568d008b288466f0 (dictof (id expr) ...) A contract for a dictionary that contains exactly the keys id ... that map to values that satisfy the contracts expr ... (respectively). (rho-dictof (id expr) ...) A contract for a dictionary that contains at least the keys id ... that map to values that satisfy the contracts expr ... (respectively). Before I start documenting and making it a thing, I thought I'd solicit feedback. -- William J. Bowman -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/20201030024046.GK1611044%40williamjbowman.com.