问题描述
Excercise 4.5的计算机程序结构和插入(SICP)引入了(<test> => <recipient>)
形式的替代cond子句语法,例如:
(cond ((assoc 'b '((a 1) (b 2))) => cadr)
(else false))
此关键字或cond子句的这种替代形式是否有名称?
用于测试此关键字是否存在的过程可以采用(=>? <exp>)
的形式,但我可能更喜欢使用更具表达性的名称。即使使用名称=>?
,也可以使用一种公认的方式发音,例如,“是双箭头”,“是替代cond子句”,“正在调用cond”吗?
我已经扫描了几个r * rs规范,但看不到名称所指的关键字。
解决方法
方案支持备用子句语法:
(谓词=>收件人)
其中收件人是一个表达式。如果谓词评估为真 值,然后评估收件人。它的值必须是 一个论点然后根据该值调用该过程 谓词。
因此,您读起来就像逻辑“如果谓词然后收件人”。约束收件人是1个参数的函数。
更新:
我检查了mailing lists of scheme,但我从未见过这种语法糖,这意味着它是该语法的最新补充。