Una introducción reciente a Smalltalk me ha iluminado sobre la aplicación y los beneficios de un estilo orientado a objetos 'puro'. Anteriormente había visto los beneficios de esto en Ruby, aunque la presencia de construcciones no orientadas a objetos if, unless etc. parecía no llevar todo el camino.¿Cuáles son algunos de los lenguajes más 'puros' orientados a objetos?
Por puro aquí, estoy hablando de cosas como 'todo es un objeto' (incluyendo funciones por bloques o algo similar) y sin control de flujo de estilo de procedimiento, en lugar de usar métodos de control de flujo en colecciones booleanas &.
Sin embargo, incluso en un lenguaje como Smalltalk algunas cosas se destacan como no orientadas a objetos. Por ejemplo, no parece posible hacer una asignación de variable sin usar una sintaxis especial (: = en lugar de un 'es:' o un método similar) y devolver valores de una función parece requerir el operador^que no parece pertenecer 'a cualquier objeto.
¿Hay algún idioma que lleve este estilo aún más?
¿Cuál es el beneficio de la pureza? La pureza hace que Haskell tenga una curva de aprendizaje significativamente más alta que otros lenguajes funcionales porque las mónadas son tan difíciles de entender desde el punto de vista del procedimiento. –
@Chris: Sí, pero las mónadas son * increíbles * una vez que las tienes. Esta pregunta, por otro lado, parece llevar la cuestión de la pureza un poco lejos ... Claro, puedes soltar valores de retorno y en su lugar requerir que ese tipo de comunicación pase por el estado del objeto (llamar a un método no da como resultado nada, luego usar 'self.result'), pero hay una razón por la que los programadores usualmente intentamos mantener el alcance de todo lo más pequeño posible. Además, rompería el encadenamiento de métodos ya que no hay valor de retorno, a menos que definas que alguna propiedad del objeto sea ese valor, pero luego volvemos a la magia. Y la lista continúa. – delnan
Reconozco totalmente que la pureza en este aspecto puede hacer que las cosas sean bastante prolijas y potencialmente no perfectas, pero también hay un beneficio significativo en un lenguaje que tiene un conjunto de reglas muy pequeño y consistente. Dicho esto, me encantaría encontrar un lenguaje que haya llevado las cosas al extremo, incluso si solo fuera un buen ejemplo de algo demasiado bueno. – donalbain