内容 2.5 Systems with Generic Operations · 170
练习 自检推理
Exercise 2.79: Define a generic equality
predicate equ? that tests the equality of two numbers, and install it in
the generic arithmetic package. This operation should work for ordinary
numbers, rational numbers, and complex numbers.
练习 2.79:定义一个通用相等谓词 equ?,用于检验两个数是否相等,并将其安装到通用算术包中。该操作应适用于普通数、有理数和复数。
我的笔记 自动保存