空ではないハッシュテーブルの契約方法

Question

ラケットはnon-empty-listofと契約していますが、non-empty-hashofと契約していません。それを構築する方法はありますか？

Answer 1

述語はそう、契約として使用することができます。

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

次に、あなたの契約としてnon-empty-hash?使用することができます。