Реализация векторов

Вектора не копируются в замыкания, насколько я понимаю, точней копируются, но по ссылкам.

В замыкания вообще всё копируется по ссылкам. Вектора не исключение.

Для списков сделай (define chng (lambda(x) (set-car! x 100))) и увидишь, что там тоже ссылка.

Че-то я не догоняю. В этом примере:

(define chng (lambda(x) (set! x 100)))
(chng a)

Если у нас в замыкании находится переменная а, а не ее значение - 1

Тут не замыкание, а передача значения. Также как в (chng v) передаётся не переменная, а значение #(1 2 3)

(define chng
  (let ((x 1))
    (lambda() (set! x (+ x 1)) x)))

Вот здесь в замыкании переменная x.

> (chng)
2
> (chng)
3

И вообще в лиспах переменная в функцию всегда передаётся по значению.

точней копируются, но по ссылкам

Што? Вектор _копируется_ _по ссылке_?

SICP:

Lecture 5A - Assignment, State, and Side-effects

Lecture 5B - Computational Objects

- что, как, почему и зачем. И хватит уже тупняк разводить.

Тут не замыкание

В таком случае, как это понимать?

(define a 1)
(define chng (lambda(x) (set! x 100)))

(chng a)
(let ((x a)) (set! x 100))
((lambda(x) (set! x 100))a)

То-есть let у нас не создает замыкания? Не всегда?

(let ((var1 exp1) ...) body ...)

раскрывается в

((lambda (var1 ...) body ...) exp1 ...)

И да, замыкание происходит, когда выходишь из скоупа, в котором процедура создана и передаешь эту процедуру во внешний (по отношению к тому, в котором она была создана) скоуп, при этом она сохраняет все внутренние связи своего скоупа.

(define (make-counter init)
  ; в этом скоупе определена переменная init
  (lambda ()
    (set! init (+ init 1))
    init))

; а тут уже не определена
(define c1 (make-counter 0))
; c1 замкнута на свой скоуп, где определена переменная init
(c1)
; => 1
(c1)
; => 2
...

В твоем случае никакого дополнительного скоупа не создается, x — просто формальный параметр процедуры. Как в Си, Паскале, да и вообще практически в любом другом языке.