Имеет ли Smalltalk закрытие?

Question

Если у него есть замыкания, могу ли я предположить, что я могу использовать многие сильные методы функционального стиля там?

Answer 1

Да, у Smalltalk есть затворы. Следующий код создает замыкание, которое возвращает сумму двух аргументов:

sum := [ :a :b | a + b ]. 

Затворы объекты, которые могут быть созданы, прошли вокруг и манипулируют. Для того, чтобы оценить замыкание вы отправляете value, value:, value:value:, ...

sum value: 1 value: 2. 

Замыкание заметно используется с коллекциями для итерации, фильтра, карты, ... все значения коллекции:

aCollection select: [ :each | each isOdd ]. 
aCollection inject: 0 into: [ :each :result | each + result ]. 

Кроме того, они используются для управляющих структур, как циклы:

[ iterator hasNext ] 
    whileTrue: [ iterator next ]. 
1 to: 10 do: [ :each | ... ]. 

Также условными реализованы с использованием замыкания:

condition 
    ifTrue: [ do this ] 
    ifFalse: [ do that ] 

Answer 2

Pharo имеет их:

все виртуальные машины имеют поддержку закрытия требуется для последних изображений

makeAdder := [ :x | [ :y | x + y ]]. 
add2 := makeAdder value: 2. 
add2 value: 3. 

Возвращения 5.

Но обратите внимание, что

makeCounter := [ :init | [ init := init + 1. init ]]. 

не будет работать (Cannot store into ->init …), как (например) в CL:

CL-USER> ((lambda (init) (lambda() (incf init))) 0) 
#<COMPILED-LEXICAL-CLOSURE #xC7A495E> 
CL-USER> (funcall *) 
1 
CL-USER> (funcall **) 
2 
CL-USER> (funcall ***) 
3 

Если я не ошибаюсь, это используется для работы перед был введен новый компилятор закрытия. Я не уверен, почему он не работает с новым компилятором.