art*_*ter 1 lisp scheme clojure s-expression racket
在lisp-family(EDIT:lisp-1)语言中是否有一种方法可以区分符号评估关于其作为函数或作为参数的位置(即,在评估它时,覆盖此符号的eval)？
作为一个例子(我不需要这个功能,这是一个例子),我想对一组对象实现某种中缀操作,这可以由对象本身调用
(my-obj some-operator arg1 ...)
这实际上将函数some-operator应用于my-obj和arguments.
但是当这个对象在代码中的任何其他位置用作参数时,例如:
(some-function my-obj &args...)
它将评估为my-obj的值.
谢谢.
在Racket中,有可能以这种精神做一些事情:
你可以定义一个struct并给它一个prop:procedure.当struct在应用程序中提供实例时,将调用该过程.
您可以#%app使用自己的函数覆盖默认值,通常重新定义应用程序,并包括非structs的内容.例如,你可以做一些事情,比如模拟Clojure的(key map)语法,('symbol dict)实际上就是这样(hash-ref dict 'symbol).