SAIL (lenguaje de programación)

Al igual que muchos sistemas ALGOL, y el posterior Pascal , la estructura básica de SAIL se basa en el bloque , que se denota por el código entre las palabras clave BEGINy END. Dentro de un bloque hay más estructura, con las declaraciones de variables locales en la parte superior, si las hay, y el código, o sentencias , a continuación. A diferencia de la mayoría de los dialectos, SAIL permitía colocar una cadena después de BEGIN, como BEGIN "program", y luego terminar el bloque con END "program". El compilador usaría estos, si se ingresaban, para verificar el corcheteado correcto. ^{[ 3 ]} SAIL no incluía el equivalente de un PROGRAMbloque como en Pascal, ni un maincomo en C, la ejecución comenzaba con la primera línea de código en el bloque más externo. ^{[ 4 ]}

Las declaraciones estándar incluían IF...THEN...ELSE, ^{[ 5 ]}FOR...STEP...UNTIL...DO , ^{[ 6 ]}WHILE...DO para bucles probados en la parte superior, WHILE...UNTILpara bucles probados en la parte inferior, y GOTOque utilizaban una etiqueta. ^{[ 7 ]} Era CASEsimilar a switchen C, pero normalmente utilizaba una sintaxis algo diferente, como CASE i OF ("Zero","One","Two");, que devuelve la cadena apropiada según el valor de i. ^{[ 5 ]} Si se querían probar valores explícitos en el CASE, los valores debían estar entre corchetes:

CASO I DE INICIO [ 0 ] 10 ; [ 4 ] 25 ; [ 6 ][ 7 ] 50 FIN ;

Este código ignorará valores como del 1 al 3 y solo devolverá un valor para los valores indicados. Tenga en cuenta que el último elemento no puede ir seguido de un punto y coma. ^{[ 8 ]}

DONESalía de un bloque, normalmente utilizado en bucles, y CONTINUEvolvía al principio del bloque. Un bucle infinito se implementaba normalmente con WHILE TRUE DO.... ^{[ 9 ]}

Los procedimientos se implementaron de forma similar al lenguaje de programación C , con el tipo de retorno, si lo hubiera, delante del nombre, por ejemplo, . Nótese el uso poco común del punto y coma aquí, mientras que Pascal lo seguiría inmediatamente con un bloque, normalmente un . ^{[ 10 ]}STRINGPROCEDUREtoUpper(STRINGoriginalStr);BEGIN...BEGIN

Para mejorar el rendimiento, SAIL añadió dos calificadores de procedimiento, SIMPLEy RECURSIVE. RECURSIVEle indicaba al compilador que el procedimiento podría llamarse a sí mismo, y por lo tanto sus variables locales debían escribirse en la pila, no solo la información de retorno de la subrutina. SIMPLEhacía lo contrario, exigiendo que el procedimiento no tuviera ninguna variable local, no permitiendo GOTOsalir de la función y no podía referirse a las variables del procedimiento contenedor. Estas directivas podían evitar el requisito de completar un registro de activación completo , mejorando así el rendimiento. ^{[ 11 ]} Esto también tuvo el efecto secundario de significar que las variables declaradas dentro de un procedimiento que no estaba marcado RECURSIVEno se restablecerían entre llamadas, ^{[ 11 ]}static actuando de manera similar a . de C.

SAIL también incluía el FORWARDcalificador, utilizado para insertar declaraciones anticipadas , normalmente cuando dos procedimientos se llaman entre sí. ^{[ 10 ]}RETURN funcionaba como en C, saliendo del procedimiento y volviendo al llamador, además de devolver opcionalmente un valor si el procedimiento utilizaba uno. ^{[ 12 ]} Los parámetros pasados ​​a los procedimientos podían ser por VALUEo REFERENCE, este último permitiendo que se devolvieran valores. ^{[ 13 ]}

Los tipos de variables básicos en SAIL son enteros , reales (punto flotante), booleanos y cadenas . ^{[ 14 ]} Las conversiones de tipo eran automáticas, por lo que convertiría el valor 5 a un double, ya que eso es lo que requiere SQRT, y luego convertiría el resultado a un entero. ^{[ 3 ]} Cualquiera de estos tipos puede convertirse en una matriz agregando el calificador y colocando los límites de la matriz entre corchetes, por ejemplo, . SAIL admitía matrices de 1 y 2 dimensiones. ^{[ 15 ]}INTEGERi;i←SQRT(5);ARRAYREALARRAYweeks[1:52]);

El lenguaje utilizaba la flecha izquierda para la asignación, ←o el guion bajo en plataformas que no tenían Stanford ASCII . ^{[ 16 ]} Incluía varias funciones estándar como la raíz cuadrada , todos los operadores matemáticos comunes y, por lo demás, era similar a la mayoría de los derivados de ALGOL para la programación normal. ^{[ 17 ]}

Las cadenas se manipulaban usando segmentación de matrices , aStr[i TO j]devolviendo la subcadena con caracteres de i a j, o aStr[i FOR j]que devolvía la subcadena que comenzaba en i y continuaba para j caracteres. ^{[ 18 ]} La INFpalabra clave (inity) representaba el final de la cadena, por lo que se podía aStr[i TO INF]devolver todo desde i en adelante. ^{[ 3 ]} Las funciones y operadores de cadena incluían EQUpara probar si dos cadenas eran iguales, ^{[ 5 ]} el ampersand para concatenación, LENGTHy LOPque elimina el primer carácter de la cadena. ^{[ 18 ]} No había forma de comparar cadenas aparte de EQU, los operadores como <estaban definidos solo para números. ^{[ 4 ]}

El concepto de registros como tipo de datos se había introducido recientemente cuando se estaba escribiendo SAIL. Esta característica muestra, por lo tanto, signos de haber sido "añadida" a la sintaxis del lenguaje. Por ejemplo, una estructura de registro se definía mediante la RECORD!CLASSinstrucción: . Esta instrucción funcionaba de manera similar a la instrucción en Pascal, definiendo la plantilla para el registro. Para crear un registro, se utilizaba la instrucción, que devolvía un . Los punteros tenían un tipo y podían tener más de un tipo; por ejemplo, define rp, un puntero a un registro de persona o universidad. ^{[ 19 ]} Los punteros también podían declararse para apuntar a . ^{[ 20 ]} El acceso a los datos en un registro era igualmente idiosincrásico; para imprimir el archivo de nombres de una persona, por ejemplo, la sintaxis era . ^{[ 20 ]}RECORD!CLASSperson(STRINGname,address;INTEGERaccountnum;REALbalance)RECORDNEW!RECORDRECORD!POINTERRECORDPOINTER(person,university)rp;ANY!CLASSPRINT(person:name[rp]);

Además de la funcionalidad básica de cadenas, SAIL incluía un sistema de escaneo de cadenas como parte del lenguaje básico. SCANtrabajaba con variables de cadena, mientras que el otro, similar en lo demás, INPUTse utilizaba para escanear cadenas que se leían desde un archivo. Ambos utilizaban un sistema conocido como "tabla de saltos", que consistía en un conjunto de caracteres que representaban lugares donde detener la lectura; por ejemplo, saltos de línea, varios espacios en blanco y signos de puntuación. Estas tablas se almacenaban en estructuras especiales, y el sistema solo permitía 54 de ellas, un número que no se explica en la documentación. ^{[ 21 ]}

Para construir una nueva tabla, primero se llamó a una función GETBREAKque devolvía el siguiente espacio libre en la tabla, o "número de tabla". A esto le seguía una función SETBREAKque tomaba el número de tabla, una cadena con los caracteres de salto, otra cadena de "caracteres omitidos" que simplemente se ignoraban durante la lectura (como si no estuvieran en la cadena) y finalmente los "modos", indicadores que señalaban cómo debía funcionar el sistema. Una vez configurado, el programa podía llamar repetidamente SCANa o INPUTy recibir cadenas completas. ^{[ 22 ]} Esto incluía un parámetro de referencia, normalmente brkchar, que contenía el carácter que causaba el salto, lo que permitía comprobar, por ejemplo, los caracteres de fin de archivo. El sistema es conceptualmente similar a strtokla funcionalidad de C, que forma parte de stdlib ^{[ 23 ]} a diferencia de SAIL, donde forma parte del propio lenguaje.

El sistema de entrada/salida de SAIL se basaba en la idea de "canales" numerados, de forma similar a las entradas del escáner. Para abrir un archivo, primero se llamaba a la función GETCHANpara devolver el valor de un canal libre y luego OPENse le añadían varios parámetros para describir el archivo y los modos de operación. RELEASEera equivalente a cerrar. Una vez abierto, el archivo podía leerse, sujeto a las reglas de escaneo mencionadas anteriormente, llamando a la función INPUTy buscando el final del archivo. Los archivos no tenían nombres como parte de la función OPEN; en su lugar, LOOKUPse podía usar para apuntar un canal a un archivo determinado, ENTERcrear un nuevo archivo asociado a un canal y RENAMEpermitir cambiar el nombre de un archivo existente. ^{[ 24 ]} Se puede abrir un archivo existente para escritura usando GETCHAN... OPEN... LOOKUP... ENTER. ^{[ 25 ]}

Durante la E/S se utilizaban numerosos manejadores y variables especiales. Por ejemplo, la INCHWLfunción era una ENTRADA cableada al terminal de usuario y siempre abierta, y devolvía su carácter de interrupción en la variable del sistema !SKIP!. ^{[ 26 ]} La PRINTfunción normalmente enviaba la salida al mismo canal del terminal, pero también podía dirigirse a cualquier otro canal abierto. ^{[ 27 ]}

Como lenguaje de programación de sistemas, el rendimiento era importante y, para ayudar con esto, SAIL incluyó una DEFINEfunción que utilizaba la sustitución de cadenas de forma similar a #definelas macros de C. ^{[ 28 ]} Una diferencia era que los delimitadores alrededor de la sustitución debían definirse, por ejemplo REQUIRE "[][]" DELIMITERS;DEFINE maxSize=[100];, . Un uso común de estas macros era definir constantes de caracteres como CRLF, ya que estas no formaban parte del lenguaje básico. ^{[ 28 ]} Otro uso era redefinir la COMMENTinstrucción a la más corta !. ^{[ 29 ]}

El sistema también incluía un sistema de compilación condicional que utilizaba sentencias, a diferencia de las directivas del preprocesador que se encuentran en C. IFCRcompilaría los bloques entre los correspondientes THENCy ELSECo ENDC. La condición en el IFCR debe conocerse en tiempo de compilación, por lo que, como en C, normalmente era un DEFINEvalor d. ^{[ 30 ]}

La principal diferencia entre SAIL y otros lenguajes derivados de ALGOL radicaba en la inclusión del almacén asociativo del lenguaje LEAP. Este sistema permitía colocar datos en estructuras similares a registros y, posteriormente, guardarlos, recuperarlos y buscarlos. En este sentido, era similar a las funcionalidades de manejo de datos de COBOL . La base del almacén era la asociación o tripleta , que permitía asociar un valor de datos con una ranura con nombre en un registro. Por ejemplo, se podía crear un registro del tipo Family_Membercon Name"Tom" y establecer el Fathercampo en "Harry". Esto resultaba en una tripleta de la forma (Padre, Tom, Harry). Las bibliotecas asociadas podían entonces encontrar todos los Family_Memberregistros con "Harry" como la ranura Father, devolviendo posiblemente "Tom" y "Alice". ^{[ 31 ]}

• Reiser, John (agosto de 1976). SAIL (PDF) (Informe técnico). Laboratorio de Inteligencia Artificial de Stanford.
• Smith, Nancy (octubre de 1976). Tutorial de SAIL (PDF) (Informe técnico). Laboratorio de Inteligencia Artificial de Stanford.
• Slimick, John (octubre de 1971). "Lenguajes de implementación de sistemas actuales: la perspectiva de un usuario" (PDF) . ACM SIGPLAN Notices . 6 (9): 20– 28. doi : 10.1145/942596.807056 .