scheme 学习:pair 和 list

    ;pair
    ;cons可以用于构建pair,如(cons 1 2)->(1 . 2)
    ;car获得pair中的first,cdr获得pair中的second
    ;(car (cons 1 2))->1 (cdr (cons 1 2))->2
    ;(cons 1 (cons 2 3))->(1 2 . 3)这是scheme输出pair时候的一种简略形式
    ;实际上述pair的first是1,second是(2 . 3) 
    ;类似的(cons 1 (cons 2 (cons 3 4)))->(1 2 3 . 4)
    ;实际的存储形式是(1 . (2 . (3 . 4)))
    
    ;list
    ;list也是一种pair,其first可以是任意类型,second或是一个pair或是nil
    ;用以表示list的结尾
    ;例如:(list 1)->(1) first:1 second:nil
    ;(list 1 2 3 4)实际上由(cons 1 (cons 2 (cons 3 (cons 4 nil))))构造出来
    ;也就是说(list 1 2 3 4)的输出实际上跟(1 2 3 4 . nil)是等价的,但是当最后一个
    ;元素是nil时在输出中可以被省略,所以(list 1 2 3 4)的实际输出是(1 2 3 4)
    
    ;append
    ;用于将两个list合成一个list,例如(append '(1) '(2 3))->(1 2 3)
    ;比较(cons '(1) '(2 3))->((1) 2 3) (cons 1 '(2 3))->(1 2 3)
    ;可一得到append的一种实现方式
    (define (append list1 list2)
        (if (null? list1)
            list2
        (cons (car list1) (append (cdr list1) list2))))