Lenguaje de programación orientado a expresiones

Un lenguaje de programación orientado a expresiones es un lenguaje de programación en el que cada (o casi cada) construcción es una expresión y, por lo tanto, produce un valor. ^{[ 1 ]} Las excepciones típicas son las definiciones de macros , los comandos del preprocesador y las declaraciones , que los lenguajes orientados a expresiones suelen tratar como sentencias .

Lisp ^{[ 2 ]} y ALGOL 68 son lenguajes orientados a expresiones. Pascal no es un lenguaje orientado a expresiones.

Todos los lenguajes de programación funcional están orientados a expresiones.

Los críticos, incluidos los diseñadores de lenguajes, ^{[ 3 ]} culpan a la orientación a expresiones de toda una clase de errores de programación en los que un programador codifica accidentalmente una expresión de asignación , que reemplaza una variable con una expresión en lugar de comprobar si es igual a esa expresión.

Algunos lenguajes como Ada y Java evitan este tipo de error al restringir las expresiones de control a aquellas que se evalúan estrictamente al tipo de datos booleano . ^{[ 4 ] [ 5 ]}

Algunos lenguajes, como Python, implementan la asignación como una instrucción en lugar de una expresión, lo que impide que la asignación se anide dentro de cualquier otra instrucción o expresión. ^{[ 6 ]} (Hasta que la versión 3.8 añadió las "expresiones de asignación", con una sintaxis diferente . ^{[ 7 ]} )

En algunos lenguajes orientados a expresiones, las expresiones que simplemente causan efectos secundarios devuelven tipos vacíos .

• ALGOL 68
• DICHA
• Icono
• Lisp ^{[ 2 ]}
• ML
• Perl
• Rebol
• Rubí
• Elixir
• Erlang
• Haskell
• Óxido ^{[ 8 ]}
• Scala
• Charla informal
• Kotlin
• OCaml ^{[ 9 ]}

• Separación comando-consulta
• Programación funcional