Software HAL

Una breve introducción

¿Qué es HAL?

• HAL, es un programa hecho en Haskell, desarrollado por docentes de nuestra facultad con un subsidio FONSOFT:
• Emmanuel Gunther, Alejandro Gadea, Miguel Pagano, Renato Cherini, Leticia Losano, Araceli Acosta,
• Nos permitirá entender de manera visual la ejecución de un programa imperativo.
• Puede utilizarse, en otras versiones, como asistente para demostrar la corrección de programas imperativos.

​

Tipos de datos

​

• En HAL se pueden utilizar dos tipos de datos:
• Int
• Bool
• Los tipos se escriben con la primera letra en mayúsculas.

​

Definición de variables

• En HAL se pueden definir dos tipos de variables:
• que requieren al usuario su valor inicial:

varinput x:Int;

• auxiliares:

vardef aux:Int;

• Las sentencias terminan en general con punto y coma.

​

​

Expresiones aritméticas

• Se construyen a partir de:
• Constantes: 1, 2, 3, ...
• Operadores: +, *, -, /, % (módulo)
• Variables enteras: x, y, …
• Ejemplos:
• (3+x)/(2+y)
• (-1)*z + 4

Expresiones booleanas

• Se construyen a partir de:
• Constantes: True, False
• Operadores: &&, ||, not
• Relaciones (entre enteros): =, <
• Variables booleanas: a, b, …
• Ejemplo: ( i < n || i = n)
• ¿Cómo expreso “i mayor o igual a n”?
• not (i < n)

Evaluación de expresiones

• HAL permite evaluar las expresiones con variables.
• ¿Cómo? Comando evaluar()
• ¿Cuándo?, si las únicas dos instrucciones que utilice son definir variables y evaluar()
• ¿Para qué?, para que puedan comprobar si han definido bien los resultados para Expresiones.

​

​

​

​

Evaluación de expresiones

varinput x : Int;

varinput y : Int;

varinput b : Bool;

​

evaluar 3 + y;

evaluar x * 2;

evaluar y % 3;

evaluar b && (x % 2 = 0);

La idea es que puedan chequear el comportamiento que definieron.

EL objetivo es que puedan chequear el comportamiento definido

Asignación

• En HAL para asignar valor a una variable (previamente definida) hacemos:
• x := E;
• E debe ser expresión del tipo de la variable x!

Asignación

vardef y : Int;

vardef b : Bool;

​

y := 3;

b := False;

​

Asignación

Asignación

Condicional

• En HAL el condicional es muy parecido al formalismo básico:

if E₁ -> S₁;

| E₂ -> S₂;

...

| E_n-> S_n;

fi

​

​

​

​

​

E₁…E_n son expresiones booleanas,

S₁…S_n son programas

​

Alguna de las expresiones booleanas debe ser verdadera, sino el programa aborta.

​

Condicional

varinput x : Int;

varinput y : Int;

vardef b : Bool;

​

if (x<y) -> b:=True;

| not (x<y) -> b:=False;

fi

​

​

​

​

Condicional

Condicional

Condicional

Condicional

Ciclo

• En HAL un ciclo es muy parecido al formalismo básico:

do E ->

S;

od

​

​

​

​

​

E es una expresión booleana,

S es un programa

​

​

Ciclo

varinput x : Int;

varinput y : Int;

vardef i : Int;

​

i := 0;

do not (x<y) ->

x := x-y;

i := i+1;

od

Proyecto 3

• Los objetivos son:
• Aprender cómo se ejecuta HAL, y cómo se escribe y ejecuta un programa. Entender la ejecución secuencia y el estado de un programa.
• Implementar el estado, la función para evaluar expresiones aritméticas, y la función para modificar el estado según las instrucciones.
• Hacer más programas para entender más que es la programación imperativa.

Proyecto 3

• Para la primera parte (ej. 1, 2, 5, 6 y 7 ), van a poder utilizar HAL desde un ejecutable.
• Para la segunda parte (ej. 3, 4 y 8), van a bajar el código fuente de HAL para:
• implementar en el archivo ListaAsoc.hs las funciones indefinidas;
• entender los tipos definidos en Syntax.hs;
• implementar las funciones indefinidas de Semantics.hs.
• Estos archivos están en la carpeta Language.

​