Content deleted Content added
Minimality |
No edit summary |
||
Line 58:
:Is "cond" really necessary? I think if you define "true" and "false" appropriately, you could implement cond. Also, is it possible to implement gt and lt if you only have eq?
::Yes. You need some means of making a branch, or conditional statement -- either ''cond'' or ''if'' can provide this. As for ''eq'', it is not used for arithmetical equality, but rather for determining whether two symbols are the same. Arithmetic doesn't enter into it -- this is a minimal set of operations for list and program-code manipulation, not for arithmetic. Anyhow, arithmetic can be implemented (slowly!) in terms of lists or functions, as by using a W-representation or [[Church integer]]s. --[[User:Fubar Obfusco|FOo]] 15:04, 7 Aug 2003 (UTC)
| |||