Orden superior y diseno

Ver también Orden Superior

Una consecuencia de implementar el pasaje de funciones como argumentos en lenguajes orientados a objetos# es que el envío de mensajes desde un objeto hacia otro ocurre en dos momentos: 

Un objeto A envía el mensaje de orden superior a otro B, pasando por argumento un bloque de código El objeto receptor B envía un mensaje al bloque de código, que es evaluado, potencialmente, enviando mensajes a objetos que sólo A conocía.

Es decir, mientras que en la programación imperativa el código cliente llama es aquel que llama a la biblioteca, aquí es la biblioteca quien termina llamando al código cliente, lo que se conoce como Inversión de Control (IoC).

object PruebaIoC {

     def sumaDeInversas(valores: List[Int]) = valores.map { 1 / _ }.sum }

scala> PruebaIoC.sumaDeInversas( List(4,0,6) )

java.lang.ArithmeticException: / by zero

   at PruebaIoC$$anonfun$sumaDeInversas$1.apply$mcII$sp(:8)    at PruebaIoC$$anonfun$sumaDeInversas$1.apply(:8)    at PruebaIoC$$anonfun$sumaDeInversas$1.apply(:8)    at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:194)    at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:194)    at scala.collection.LinearSeqOptimized$class.foreach(LinearSeqOptimized.scala:59)    at scala.collection.immutable.List.foreach(List.scala:45)    at scala.collection.TraversableLike$class.map(TraversableLike.scala:194)    at scala.collection.immutable.List.map(List.scala:45)    at PruebaIoC$.sumaDeInversas(:8)

…..

• Se pierde la secuencialidad
• El control queda en manos de la biblioteca, que se constituye en un motor responsable de evaluar el código -> ganamos en declaratividad
• el codigo puede ser evaluado de forma diferente a la planteada por el cliente, incluso de forma diferida, asincrónica o ignorado completamente

evaluacion diferida mediante thunks