ISWIM

ISWIM ( If you See What I Mean ) es un lenguaje de programación abstracto (o una familia de lenguajes) ideado por Peter Landin y descrito por primera vez en su artículo "The Next 700 Programming Languages", publicado en Communications of the ACM en 1966. ^{[ 1 ]}

Aunque no se ha implementado, ha demostrado ser muy influyente en el desarrollo de lenguajes de programación, especialmente lenguajes de programación funcional como SASL , Miranda , ML , Haskell y sus sucesores, y lenguajes de programación de flujo de datos como Lucid .

ISWIM es un lenguaje de programación imperativo con un núcleo funcional, que consiste en una simplificación sintáctica del cálculo lambda a la que se le añaden variables mutables y asignación, así como un potente mecanismo de control: el operador de punto de programa . Al estar basado en el cálculo lambda, ISWIM cuenta con funciones de orden superior y variables con ámbito léxico .

La semántica operacional de ISWIM se define utilizando la máquina SECD de Landin y utiliza paso por valor, es decir, evaluación inmediata . ^{[ 2 ]} Un objetivo de ISWIM era parecerse más a la notación matemática, por lo que Landin abandonó los puntos y comas de ALGOL entre sentencias y bloques begin... endy los reemplazó con la regla de lado fuera y el alcance basado en la indentación .

Una característica distintiva de la notación de ISWIM es el uso de wherecláusulas. Un programa ISWIM es una única expresión calificada por cláusulas where (definiciones auxiliares que incluyen ecuaciones entre variables), expresiones condicionales y definiciones de funciones. Junto con CPL , ISWIM fue uno de los primeros lenguajes de programación en utilizar cláusulas where . ^{[ 3 ]}

Una característica semántica notable fue la capacidad de definir nuevos tipos de datos, como una suma (posiblemente recursiva) de productos. Esto se hizo utilizando una descripción de estilo de lenguaje natural algo verbosa, pero aparte de la notación equivale exactamente a los tipos de datos algebraicos que se encuentran en los lenguajes funcionales modernos. ^{[ 4 ]} Las variables de ISWIM no tenían declaraciones de tipo explícitas y parece probable (aunque no se afirma explícitamente en el artículo de 1966) que Landin pretendiera que el lenguaje fuera de tipado dinámico, como LISP y a diferencia de ALGOL ; pero también es posible que pretendiera desarrollar alguna forma de inferencia de tipos .

No se completó ninguna implementación directa de ISWIM, pero el lenguaje PAL de Art Evans ^[ 5 ] ^{y el} lenguaje Gedanken de John C. Reynolds ^{[ 6 ]} capturaron la mayoría de los conceptos de Landin , incluidas potentes operaciones de transferencia de control. Ambos fueron tipados dinámicamente . ML de Robin Milner puede considerarse equivalente a ISWIM sin el operador J y con inferencia de tipos .

Otra línea de derivación de ISWIM consiste en eliminar las características imperativas (asignación y el operador J), dejando un lenguaje puramente funcional. ^{[ 7 ]} Entonces es posible cambiar a la evaluación perezosa . Este camino condujo a los lenguajes de programación SASL , Kent Recursive Calculator (KRC), Hope , Miranda , Haskell y Clean .