<div dir="ltr">Near exercise 305, HtDP/2e says that "[in] ISL+ (... and in the currently popular scripting languages) such an informal signature with a definite meaning is acceptable on occasion; do not use it too often, however."<div><br></div><div>It refers to this definition.</div><div><br></div><div><div>; [List-of Attribute] or [List-of Xexpr.v2] -> Boolean</div><div>; is the given value a list of attributes?</div><div>(define (list-of-attributes? x)</div><div>  (cond</div><div>    [(empty? x) #true]</div><div>    [else (local ((define possible-attribute (first x)))</div><div>            (cons? possible-attribute))]))</div></div><div><br></div><div>Why "acceptable on occasion"? I don't get the message. What is it saying? Thank you.</div><div></div></div>