Description

Pr´actica 1
Nota Importante:

Cuando se solicite la entrega de esta pra´ctica, cada alumno debera´ subir a su repositorio de pra´cticas (del cual se indicara´ su ubicaci´on ma´s adelante) un directorio p1 cuyo contenido debe ser u´nicamente los ficheros nombre.ml, expr1.ml y expr2.ml.
Sea muy cuidadoso a la hora de crear el directorio y los ficheros, y respete los nombres indicados. En particular, f´ıjese que todos estos nombres so´lo contienen letras en minu´sculas, nu´meros y puntos.
Adema´s, todos los ficheros deben compilar sin errores con las siguientes o´rdenes:
ocamlc -o nombre nombre.ml ocamlc -c expr1.ml ocamlc -c expr2.ml
Ejercicios:

1. Construya un programa ejecutable nombre que escriba en la salida esta´ndar dos l´ıneas de texto: la primera con su nombre completo y la segunda con su direcci´on de correo electro´nico en la UDC. El c´odigo fuente del programa, escrito en OCaml, debe guardarse en el fichero de texto nombre.ml.
2. Se trata de analizar la serie de expresiones OCaml incluidas en el fichero expresiones.pdf. Para ello, abriremos el compilador interactivo de OCaml y, con cada expresio´n del fichero, haremos lo siguiente:
• La escribimos en el fichero de texto expr1.ml utilizando un editor (por ejemplo, gedit).
• Debajo, y usando comentarios (*…*), intentamos predecir el resultado que dar´a OCaml sobre su compilacio´n y ejecucio´n, procurando usar la misma notacio´n.
• Copiamos la expresio´n en el terminal en el que tengamos abierto el compilador interactivo de OCaml y comprobamos el resultado. Si no es el previsto, lo corregimos e intentamos razonar por qu´e y en qu´e nos hemos equivocado.
• Para toda expresio´n que produzca un error:
– La escribiremos en el fichero de texto entre comentarios.
– Indicaremos, tambi´en entre comentarios, el tipo de error (l´exico, sinta´ctico, de tipo o de ejecucio´n) y la causa del mismo.
• Usaremos el manual del lenguaje para averiguar el significado de los operadores y funciones que aparecen en cada expresi´on.
• Es importante poner entre comentarios todo aquello que se pide expl´ıcitamente que se escriba as´ı, porque el fichero expr1.ml debe compilar (aunque obviamente si se genera el correspondiente programa ejecutable, ´este no tendr´a ningu´n efecto “visible”, porque el fichero expresiones.pdf no contiene instrucciones de entrada/salida).
1
3. Escriba en un fichero de texto expr2.ml un programa OCaml que defina (en este orden) los siguientes valores:
• Un valor u de tipo int a partir de una expresi´on que contenga, al menos, 4 operadores infijos.
• Un valor v de tipo float a partir de una expresio´n que incluya una funci´on predefinida.
• Un valor w de tipo char a partir de una expresi´on que incluya una sub-expresio´n de tipo int.
• Un valor x de tipo bool a partir de una expresio´n que incluya una o ma´s funciones u operadores.
• Un valor y de tipo string a partir de una expresi´on que contenga una frase if-then-else.
2