I1M

En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos continuado con la resolución de los ejercicios de la 14ª relación (que comenzamos en la clase del día 17) y hemos comentado las soluciones de la 15ª relación.

Las soluciones de los restantes de la relación 14 son
Read More “I1M2010: Ejercicios de Haskell (relaciones 14 y 15)”

En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado una aplicación de la definición de tipos. Concretamente, se ha estudiado cómo definir el tipo de las fórmulas proposicionales y, trabajando con dicho tipo, construir un programa para determinar si una fórmula es una tautología.

Las transparencias usadas en la clase son las del tema 9 (páginas 25-33):
Read More “I1M2010: Un calculador de tautologías en Haskell como caso de estudio de tipos de datos definidos”

En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado la definición de nuevos tipos de datos y de funciones sobre dichos tipos. Concretamente, se ha estudiado

• cómo definir tipos usando type,
• cómo definir funciones con dominio o rango en tipos definidos usando type,
• cómo definir tipos usando data,
• cómo definir funciones con dominio o rango en tipos definidos usando data y
• cómo definir tipos de datos recursivos (p.e. naturales, listas y árboles).

Las transparencias usadas en la clase son las del tema 9 (páginas 1-24):
Read More “I1M2010: Definiciones de tipos de datos en Haskell”

En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado la resolución de los 12 primeros ejercicios de la 14ª relación.

Los ejercicios y su solución se muestran a continuación
Read More “I1M2010: Ejercicios de Haskell (relación 14)”

En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado los tipos y las clases en Haskell. Los objetivos de tema son aprender

• qué es un tipo,
• cómo expresar que una expresión tiene un tipo determinado,
• cómo preguntar a Haskell por el tipo de una expresión,
• cómo determinar el tipo de una expresión,
• cuáles son las ventajas de los tipos en programación,
• cuáles son los tipos básicos (Bool, Char, String, Int, Integer, Float y Double),
• cuáles son los tipos compuestos (listas, tuplas y funciones),
• cómo usar funciones parcializadas,
• qué es el polimorfismo y la sobrecarga de funciones y
• cuáles son las clases básicas (Eq, Ord, Show, Read, Num, Integral y Fractional), sus métodos e instancias.

Las transparencias usadas en la clase son las del tema 3:
Read More “I1M2010: Tipos y clases en Haskell”