Mensaje de orden superior

Un mensaje de orden superior ( HOM ) en un lenguaje de programación es una forma de programación de orden superior que permite mensajes que tienen otros mensajes como argumentos. El concepto fue introducido en MacHack 2003 ^{[ 1 ] [ 2 ]} por Marcel Weiher y presentado de forma más completa en 2005 por Marcel Weiher y Stéphane Ducasse . ^{[ 3 ]} Los bucles se pueden escribir sin nombrar las colecciones sobre las que se itera, los mensajes de orden superior pueden verse como una forma de programación sin puntos o tácita .

En código Smalltalk ordinario , sin usar HOM, la obtención de una colección de los empleados que tienen un salario de 1000 se lograría con el siguiente código:

asalariados := empleados seleccionar: [ : cada | cada tieneSalario: 1000 ] 

Sin embargo, utilizando HOM, se puede expresar de la siguiente manera:

asalariados := empleados seleccionar tieneSalario: 1000 .

Aquí, selectse trata de un mensaje de orden superior, y hasSalary:se entiende que se llama sobre el mensaje select en sí, en lugar de sobre su resultado. El lenguaje Smalltalk no se modificó para implementar esta característica. En cambio, selectdevuelve un mensaje que materializa el selectenvío, el cual luego interpreta el hasSalary:mensaje.

Otro ejemplo es el uso de envíos de mensajes futuros en el Proyecto Croquet : ^{[ 4 ]}

( cubo futuro: 1000 ) agregarRotaciónAlrededorY: 10 .

En este ejemplo, el future:mensaje provoca addRotationARoundY:que se envíe al objeto cubo después de 1 segundo.

La implementación de referencia en Objective-C aprovecha la característica que permite que, en Objective-C, los objetos que no comprenden un mensaje que se les envía, aun así lo reciban en un método de enlace especial llamado forward:. La mensajería de orden superior se implementó en varios lenguajes que comparten esta característica, incluidos Ruby y Smalltalk. ^{[ 5 ] [ 6 ]}

La documentación de Proxies de ECMAScript Harmony menciona específicamente los mensajes de orden superior como una aplicación para sus Catchall Proxies. ^{[ 7 ]}

El lenguaje de programación J distingue entre verbos y adverbios . Los adverbios modifican la función de los verbos. Esto es similar a cómo los mensajes de orden superior (los adverbios) modifican los mensajes que les siguen (los verbos). En el ejemplo de Croquet anterior, el addRotationAroundY:mensaje se envía y conserva su significado normal, pero su entrega se ve modificada por el future:1000mensaje, que se enviará en algún momento futuro.