如何爲非空哈希表製作合同

Question

球拍有non-empty-listof合同，但沒有non-empty-hashof合同。有沒有辦法建立一個？

Answer 1

謂詞可以作爲合同的，因此：

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

然後你可以使用non-empty-hash?爲您的合同。