¿Tiene Smalltalk cierres?

Question

Si tiene cierres, ¿puedo suponer que puedo utilizar muchas de las técnicas de estilo funcional fuertes allí?

Answer 1

Sí, Smalltalk tiene cierres. El siguiente código crea un cierre que devuelve la suma de sus dos argumentos:

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

Los cierres son objetos que se pueden crear instancias, pasan alrededor y manipulados. Para evaluar un cierre que envíe value, value:, value:value:, ...

sum value: 1 value: 2. 

Los cierres se utilizan prominentemente con las colecciones de ITERATE filtro, mapas, ... todos los valores de una colección:

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

Además, se utilizan para las estructuras de control como bucles:

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

también condicionales se implementan utilizando cierres:

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

Answer 2

Pharo ellos tiene:

todas las máquinas virtuales tienen el apoyo de cierre necesaria para últimas imágenes

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

Devoluciones 5.

notar que

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

no va a funcionar (Cannot store into ->init …), como (por ejemplo) en la 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 

Si no me equivoco, esto solía trabajar antes de la Se introdujo un nuevo compilador de cierre. No estoy seguro de por qué no funciona con el nuevo compilador.