2019年7月の記事一覧
(car (cons x y)) の評価
(define (cons x y) (lambda (m) (m x y)))(define (car z) (z (lambda (p q) p)))
このように定義されたとき (car (cons x y)) の値がどうなるか。
単純に置き換えていけば良い。（substitute；置換）
(car (cons x y))= <car を定義で置き換え> ((cons x y)
(define (cons x y) (lambda (m) (m x y)))(define (car z) (z (lambda (p q) p)))
このように定義されたとき (car (cons x y)) の値がどうなるか。
単純に置き換えていけば良い。（substitute；置換）
(car (cons x y))= <car を定義で置き換え> ((cons x y)