加入 Gitee
与超过 1200万 开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)
免费加入
文件
该仓库未声明开源许可证文件(LICENSE),使用请关注具体项目描述及其代码上游依赖。
克隆/下载
test.h 2.40 KB
一键复制 编辑 原始数据 按行查看 历史
less 提交于 2018-03-30 01:39 . fix cond: nil output
#include "csp.h"
#define EQsubstsubst )EQ_T(
/*$zeval((( (label)
(subst)
(
(lambda) ((x) (y) (z))
(
(cond)
(((atom)(z))
(
(cond)
(((eq) (z) (y)) (x))
(((quote)(T)) (z))
)
)
(((quote) (T))
((cons)
((subst) (x) (y) ((car) (z)))
((subst) (x) (y) ((cdr) (z)))
)
)
)
)
) ((quote) (m)) ((quote) (b)) ((quote) ((a) (b) ((a) (b) (c)) (d)))),())*/
#define test_e (((label) (f)((lambda)((x))((cons)(x)((quote)((b))))))((quote)(w)))
$zeval(test_e,())
$zeval(((atom)(x)),())
$zeval(((cond)(((atom)(x))((quote)(t)))),())
$zipped_evcon((((atom)(x))((quote)(t))),())
/*$zeval(( (cond)(((atom)(x))((quote)(a)) )
(((quote)(T))((quote)(b)))),())*/
/*$zeval( (((label)
(f)
((lambda)((x))
( (cond)(((atom)(x))(a) )
(((quote)(T))(b))))
)
((quote)(w))
),() )*/
/*$zeval( (((label)
(f)
((lambda)((x))
((f) (x) ))
)
((quote)(w))
),() )*/
//(EVAL_e(CONS EVAL_e(EVAL_e(EVAL_e(EVAL_e(SAFE_CAR SAFE_CDR SAFE_CDR SAFE_CAR test_e)))) EVAL_e( SAFE_CDR test_e)),EVAL_e(_e CONS (EVAL_e(EVAL_e(SAFE_CAR SAFE_CDR SAFE_CAR _e test_e)) SAFE_CAR test_e) (a)))
//$zeval((((label) ((f)) ((lambda) (x) ((f) (x))))((quote) (a))),())
//$zeval( ((cons)(x)((quote)((b))) ), ((x ) (w )) (((f ) ((label) (f)((lambda)((x))((cons)(x)((quote)((b))))) )) ()) )
//$zipped_evlis(((quote)(a))(b),(((b)(d))((g)(h))))
//EVAL_e(_e CONS (EVAL_e(EVAL_e(SAFE_CAR SAFE_CDR SAFE_CAR test_e)) SAFE_CAR test_e) (((w)(b))))
$zeval((a),((c)(b))((a)(d)))
//(EVAL_e(CONS EVAL_e(EVAL_e(EVAL_e(EVAL_e(SAFE_CAR SAFE_CDR SAFE_CDR SAFE_CAR test_e)))) EVAL_e( SAFE_CDR test_e)),_e CONS (EVAL_e(EVAL_e(SAFE_CAR SAFE_CDR SAFE_CAR test_e)) SAFE_CAR test_e) (()))
//EVAL_e(CONS EVAL_e(EVAL_e(EVAL_e(EVAL_e(SAFE_CAR SAFE_CDR SAFE_CDR SAFE_CAR test_e)))) EVAL_e( SAFE_CDR test_e))
//CONS (EVAL_e(EVAL_e(SAFE_CAR SAFE_CDR SAFE_CAR test_e)) SAFE_CAR test_e) ()
Loading...
马建仓 AI 助手
尝试更多
代码解读
代码找茬
代码优化