PFH – Página 15 – Vestigium

PFH: Ejercicios sobre tablas y diccionarios en Haskell

PorJosé A. Alonso 7 marzo 2022

He añadido a la colección de Ejercicios de programación funcional con Haskell dos nuevas relaciones:

En la primera, se define el tipo abstracto de dato (TAD) de las tablas como lista de asociación de claves y valores. Los procedimientos del TAD son

   vacia         :: Tabla k v
   inserta       :: k -> v -> Tabla k v -> Tabla k v
   borra         :: Eq k => k -> Tabla k v -> Tabla k v
   busca         :: Eq k => k -> Tabla k v -> Maybe v
   aplicaValores :: (v1 -> v2) -> Tabla k v1 -> Tabla k v2
   aplicaClaves  :: (k1 -> k2) -> Tabla k1 v -> Tabla k2 v
   ajusta        :: Eq k => (Maybe v -> Maybe v) -> k -> Tabla k v -> Tabla k v

vacia :: Tabla k v

inserta :: k -> v -> Tabla k v -> Tabla k v

borra :: Eq k => k -> Tabla k v -> Tabla k v

busca :: Eq k => k -> Tabla k v -> Maybe v

aplicaValores :: (v1 -> v2) -> Tabla k v1 -> Tabla k v2

aplicaClaves :: (k1 -> k2) -> Tabla k1 v -> Tabla k2 v

ajusta :: Eq k => (Maybe v -> Maybe v) -> k -> Tabla k v -> Tabla k v

En la segunda, se comprueba con QuickCheck cómo las anteriores funciones de la tablas se corresponden con funciones de diccionarios de la libreria Data.Map.

El contenido de las relaciones es el siguiente
Read More “PFH: Ejercicios sobre tablas y diccionarios en Haskell”

La semana en Exercitium (del 28 de febrero al 4 de marzo)

PorJosé A. Alonso 6 marzo 20227 marzo 2022

Esta semana he publicado en Exercitium las soluciones de los siguientes problemas:

1. Determinación de los elementos minimales
2. Mastermind
3. Primos consecutivos con media capicúa
4. Iguales al siguiente
5. Ordenación por el máximo

A continuación se muestran las soluciones.
Read More “La semana en Exercitium (del 28 de febrero al 4 de marzo)”

PFH: Tipos de datos algebraicos en Haskell

PorJosé A. Alonso 4 marzo 20225 marzo 2022

He añadido a la colección de Ejercicios de programación funcional con Haskell la relación Tipos de datos algebraicos en Haskell en la que se estudian los tipos abstractos de datos (TAD) tantos los predefinidos (como booleanos, opcionales, pares y listas) como definidos (árboles binarios). Se definen funciones sobre los TAD y se verifican propiedades con QuickCheck (en el caso de los TAD se definen sus generadores de elementos arbitrarios).

El contenido de la relación es el siguiente
Read More “PFH: Tipos de datos algebraicos en Haskell”

PFH: Cadenas de bloques en Haskell

PorJosé A. Alonso 4 marzo 20224 marzo 2022

He añadido a la colección de Ejercicios de programación funcional con Haskell la relación Cadenas de bloques en la que se define el tipo de datos de las cadenas de bloques y se estudia las definiciones de funciones sobre el mismo.

El contenido de la relación es el siguiente
Read More “PFH: Cadenas de bloques en Haskell”

PFH: Sistema de decisión de tautologías en Haskell

PorJosé A. Alonso 28 octubre 202021 diciembre 2020

He añadido a la lista Programación funcional con Haskell el vídeo Sistema de decisión de tautologías en Haskell en el que se ha estudia cómo construir un programa para determinar si una fórmula es una tautología. Para ello se consideran las siguientes fases:
1. definir un tipo de dato algebraico para las fórmulas proposicionales,
2. definir un tipo de dato para las interpretaciones,
3. definir una función para calcular los valores de las fórmulas en las interpretaciones
4. definir una función para generar todas las posibles interpretaciones de una fórmula y
5. definir una función que para decidir si una fórmula es tautología (es decir, su valor es verdadero en todas sus interpretaciones).

El vídeo es

Los apuntes correspondientes son

Una versión interactiva de los apuntes en IHaskell se encuentra aquí.