SICP

Начал читать волшебную книгу: SICP

Вот моя программка получения квадратного корня:

(define (more-exact x pre)
  (let (next-pre (div (add (div x pre) pre) 2))
    (if (= pre next-pre) pre (more-exact x next-pre))))

(define (squa x) (more-exact x 1))

Забавно, что программа находит, например, корень из двух всего за шесть итераций. Я раньше думал, будто нахождение корня — сложный и медленный алгоритм.

Алсо, в newLISP есть функция constant. Если хочется переопределить часть символов, чтобы использовать + вместо add и - вместо div, надо использовать её.

А вот функция для куба.

(define (cube x)
  (let (more-exact (fn (pre)
      (let (next-pre (div (add (div x pre pre) pre pre) 3))
        (if (= pre next-pre) pre (more-exact next-pre)))))
    (more-exact 1)))

Что характерно, на этот раз функция more-exact сделана локальной и, следовательно, не только не будет занимать ценное имя, но и сможет использовать родительский "х".