手続き抽象
ある手続きの中で部品として使われている手続き。squareは2乗さえ返してくれれば、手続きの内容は関係ない。ブラックボックス。
局所名
スコープとか、そのあたりの話。説明不要。
(define (good-enough? guess x)
(< (abs (- (square guess) x)) 0.001))
guess,xは束縛変数(bound variable)といい手続き定義は仮パラメタを束縛する(bind)という。
- ,-,absは自由変数だが、good-enough?の仮パラメタにすると、束縛されてしまう。
(define (good-enough? abs x)
(< (abs (- (square guess) x)) 0.001))
0 件のコメント:
コメントを投稿