00(define (cons x y)
01  (lambda (m) (m x y)) )
02
03(define (car z)
04  (z (lambda (p q) p)) )
05
06(define (cdr z) 
07  (z (lambda (p q) q)) )
08; 本文会让你明白这段代码的精妙 ;

00; 这是一张草稿纸, 用冒号代表注释
01
02(define a 123)
03; 类似数学上经常写的 "令 a = 123"
04; 特别写给 js 程序员: 这等价于 const a = 123
05
06(+ a a)
07; 运算符提前的前缀写法, 等价于 a + a，然后 a 可以代换为 123
08; 所以最终是 (+ 123 123) 得到 246
09
10(define (double x)
11  (+ x x) )
12; 等价于定义一个函数，"令 double(x) = x + x"
13; 特别写给 js 程序员: 这等价于 function double(x) { return x + x }
14
15(double a)
16; 故而上述写法代表 double(a) 也就是 double(123)
17; 最终就是 (+ 123 123) 得到 246
18
19(define double
20  (lambda (x) (+ x x) )
21)
22; double 还可以通过 lambda 的语法糖来表达, 跟前面那种写法几乎意思一样
23; 这里意思是 令 double = (x) => x + x
24; 视角是: 把 (x) = x + x 这件事本身单独拿出来叙述：有一个参数加自己
25; 特别写给 js 程序员: 这等价于 const double = (x) => x + x
26
27; 执行代码就是在做 "代换" 比如 (+ 1 1) 其实就是化简代换成 2
28; 执行 (double a) 就是先找到 double 的定义, 带入得到:
29; 第一步：double 就是 (lambda (x) (+ x x) )
30; 第二步：带入到 (double a)
31; 第三步：得到 ( (lambda (x) (+ x x)) a ) 也就是 "有一个参数加自己，参数是 a"
32; 第四步：代换 a 得到 ( (lambda (x) (+ x x)) 123 )
33; 第五步：把 123 代换到 (x) => x + x 中的 x 最终得到 (+ 123 123) 最后得到结果
34; [备注：有所简化]

00(define (cons x y)
01  (lambda (m) (m x y)) )
02
03(define (car z)
04  (z (lambda (p q) p)) )
05; (lambda (p q) p) 代表有两个参数 p q, 代换成 p 返回 (返回左边的)
06
07(define (cdr z)
08  (z (lambda (p q) q)) )
09; (lambda (p q) q) 代表有两个参数 p q, 代换成 q 返回 (返回右边的)

00; [1, [2, [3, nil]]]
01(define _123
02  (cons 1 (cons 2 (cons 3 nil))) )
03
04(car _123)  ; 取出最外层的左边，返回 1
05(cdr _123)  ; 取出最外层的右边，返回 (cons 2 (cons 3 nil))
06            ; 注意上面两步，你一定要拿出纸笔一层层化简才能理解
07            ; 再次强调，你一定要拿出纸笔一层层化简/代换
08            ; 才能知道这里到底在做什么，否则后面文章不用看了

00(define (create-user name age)
01  (cons name age))
02
03(define (get-username user)
04  (car user) )
05
06(define (get-userage user)
07  (cdr user) )

00; 这是 [1, [2, null]]
01(cons 1 (cons 2 nil))
02
03; 那么 (cons 1 2) 可以表达为:
04(cons 'cons (cons 1 (cons 2 nil)))
05; 对应 ['cons', [1, [2, null]]] 遍历这个链表就可以遍历语法树