azúcar sintáctico

En informática , el azúcar sintáctico es una sintaxis dentro de un lenguaje de programación diseñada para facilitar la lectura y la expresión del código. Hace que el lenguaje sea más accesible para el usuario: las ideas se pueden expresar con mayor claridad, concisión o en un estilo alternativo que algunos prefieran. El azúcar sintáctico suele ser una abreviatura para una operación común que también podría expresarse de forma alternativa y más extensa. El programador puede elegir entre la forma abreviada o la larga, pero generalmente optará por la abreviada, ya que es más corta y fácil de escribir y leer.

Por ejemplo, en el lenguaje de programación Python es posible obtener un elemento de una lista en un índice dado usando la sintaxis list_variable.__getitem__(index), pero esto se abrevia frecuentemente a , list_variable[index]que podría considerarse más simple y fácil de leer, a pesar de tener un comportamiento idéntico. De manera similar, list_variable.__setitem__(index, value)se abrevia frecuentemente a list_variable[index] = value.

Una construcción en un lenguaje es azúcar sintáctico si se puede eliminar del lenguaje sin que ello afecte a lo que el lenguaje puede hacer: la funcionalidad y el poder expresivo seguirán siendo los mismos.

Los procesadores de lenguaje, incluidos los compiladores y los analizadores estáticos , a menudo expanden las construcciones simplificadas a sus equivalentes más detallados antes de procesarlas, un proceso que a veces se denomina "descifrado".

El término azúcar sintáctico fue acuñado por Peter J. Landin en 1964 para describir la sintaxis superficial de un lenguaje de programación simple similar a ALGOL que se definió semánticamente en términos de las expresiones aplicativas del cálculo lambda , ^{[ 1 ] [ 2 ]} centrado en reemplazar léxicamente λ con "donde".

Lenguajes de programación posteriores, como CLU , ML y Scheme , extendieron el término para referirse a la sintaxis dentro de un lenguaje que podía definirse en términos de un núcleo de construcciones esenciales; las características convenientes de nivel superior podían "descomponerse" y descomponerse en ese subconjunto. ^{[ 3 ]} Esta es, de hecho, la práctica matemática habitual de construir a partir de primitivas.

Partiendo de la distinción de Landin entre construcciones lingüísticas esenciales y azúcar sintáctico, en 1991, Matthias Felleisen propuso una codificación del "poder expresivo" para alinearla con las "creencias ampliamente aceptadas" en la literatura. Definió "más expresivo" como la condición de que, sin las construcciones lingüísticas en cuestión, un programa tendría que ser completamente reorganizado. ^{[ 4 ]}

• En COBOL , muchas de las palabras clave intermedias son azúcar sintáctico que opcionalmente se puede omitir. Por ejemplo, la sentencia MOVE A B.y la sentencia MOVE A TO B.realizan exactamente la misma función, pero la segunda aclara la acción a realizar.
• En Perl , es azúcar sintáctico para . Además, cualquier instrucción puede ir seguida de una condición, por lo que es equivalente a , pero la primera se formatea de forma más natural en una sola línea.unless(condition){...}if(notcondition){...}statementifconditionif(condition){...}
• En el lenguaje C , la a[i]notación es azúcar sintáctico para *(a + i). ^{[ 5 ]} Del mismo modo, la a->xnotación es azúcar sintáctico para acceder a los miembros usando el operador de desreferencia(*a).x .
• La usinginstrucción en C# garantiza que ciertos objetos se liberen correctamente. El compilador expande la instrucción en un bloque try-finally . ^{[ 6 ]}
• C++ y C desde C23 en adelante permiten auto x = exprcomo abreviatura decltype(expr) x = expren C++ o typeof(expr) x = expren C.
• Comprensiones de listas de Python (como para una lista de cuadrados) y decoradores (como ).[x*xforxinrange(10)]@staticmethod
• En Haskell , una cadena, entre comillas, es semánticamente equivalente a una lista de caracteres. Una extensión de lenguaje opcional, OverloadedStrings, permite que los literales de cadena produzcan también otros tipos de valores, como texto.
• En la colección de paquetes R tidyverse , la tubería , denotada por , declara que los datos (o la salida de la función) que preceden a la tubería servirán como primer argumento para la función que sigue a la tubería. ^{[ 7 ]} Por lo tanto, es equivalente a .%>%x %>% f(y)f(x,y)
• En SQL , un simple JOINes equivalente a un INNER JOIN, este último aclara que la instrucción join es específicamente una operación de unión interna en contraposición a una operación de unión externa. Del mismo modo, se puede omitir el OUTERde LEFT OUTER JOIN, RIGHT OUTER JOINy FULL OUTER JOIN.
• El método de extensión en los lenguajes de POO en la forma myObject.myMethod(parameter1, parameter2, parameter3)es azúcar sintáctico para llamar a una función global como . La referencia al objeto se pasa como un argumento oculto, generalmente accesible desde dentro del método como .myMethod(myObject, parameter1, parameter2, parameter3)this
• Un parámetro llamado por referencia es una forma abreviada de decir que, técnicamente, se pasa un puntero como parámetro, pero sintácticamente se trata como la variable misma, para evitar la desreferenciación constante de punteros en el código dentro de la función.
• Diversos lenguajes ofrecen instrucciones de importación que permiten añadir símbolos de otro espacio de nombres al ámbito actual.
  • En C++, una usinginstrucción es un ejemplo de cómo importar un solo símbolo al ámbito, mientras que un using namespaceespacio de nombres importa todos los símbolos de ese espacio de nombres al ámbito.
  • En C#, una usinginstrucción agrega todos los símbolos de un espacio de nombres al ámbito.
  • En Java , un importes un ejemplo de ello. Por ejemplo, import javax.swing.*;permite al programador hacer referencia a un objeto Swing como javax.swing.JButtonusando solo el nombre JButton.
  • En Python , una from importinstrucción importa un solo símbolo al ámbito, mientras que una from import *instrucción importa todos los símbolos de ese espacio de nombres al ámbito.
  • En Rustuse , se utiliza una instrucción para importar símbolos al ámbito.
• En JavaScript , si la clave y el valor son iguales en un objeto, tienes la opción de escribirlo solo una vez. Por ejemplo, {name: name}es equivalente a {name}. Esto se llama propiedad abreviada.
  • En la versión ES6 de JavaScript , las funciones flecha tienen una forma corta (x) => x + 1, que es equivalente a la forma más larga .(x)=>{returnx+1;}
• En Scala , los tres signos de interrogación ( ???) son equivalentes a . Esto es útil para marcar un lugar para código que aún no se ha escrito. ^{[ 8 ]}thrownewscala.NotImplementedError("an implementation is missing")

Algunos programadores consideran que estas características de usabilidad sintáctica son irrelevantes o incluso frívolas. Cabe destacar que las formas sintácticas especiales hacen que un lenguaje sea menos uniforme y su especificación más compleja, y pueden causar problemas a medida que los programas se vuelven más grandes y complejos. Esta opinión está particularmente extendida en la comunidad Lisp , ya que Lisp tiene una sintaxis muy simple y regular, y la sintaxis superficial se puede modificar fácilmente. ^{[ 9 ]} Por ejemplo, Alan Perlis bromeó una vez en " Epigramas sobre programación ", en referencia a los lenguajes delimitados por corchetes , diciendo que "el azúcar sintáctico causa cáncer de punto y coma ". ^{[ 10 ]}