Czy Smalltalk ma zamknięcia?

Question

Jeśli ma zamknięcia, czy mogę założyć, że mogę tam użyć wielu silnych technik stylu funkcjonalnego?

Answer 1

Tak, Smalltalk ma zamknięcia. Poniższy kod tworzy zamknięcie zwracającą sumę dwóch argumentów:

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

zamknięcia są obiekty, które mogą być instancja, mijały się i manipulować. Aby ocenić zamknięcie wysyłaniu value, value:, value:value: ...

sum value: 1 value: 2. 

Zamknięcia są wyraźnie stosowane w kolekcjach iteracyjne, filtr, Mapa, ... wszystkie wartości kolekcji:

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

Ponadto, są one wykorzystywane do struktur kontrolnych jak pętle:

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

także warunkowe są realizowane za pomocą zamknięć:

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

Answer 2

Pharo je ma:

wszystkie maszyny wirtualne mają wsparcie zamknięcie wymagane najnowsze obrazy

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

Zwraca 5.

jednak zauważyć, że

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

nie zadziała (Cannot store into ->init …), jak (na przykład) w 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 

Jeśli się nie mylę, to używane do pracy przed wprowadzono nowy kompilator zamknięcia. Nie jestem pewien, dlaczego nie działa z nowym kompilatorem.