如何为非空哈希表创建合约

Question

Racket 有一个non-empty-listof 合约，但没有non-empty-hashof 合约。有没有办法建立一个？

Answer 1

谓词可以用作契约，所以：

(define (non-empty-hash? x)
  (and (hash? x)
       (not (hash-empty? x))))

那么你可以使用non-empty-hash?作为你的合约。