Vestigium

PFH: Ejercicios de definiciones por plegado

PorJosé A. Alonso 11 marzo 202212 marzo 2022

He añadido a la colección de Ejercicios de programación funcional con Haskell la relación Definiciones por plegado en la que se muestra cómo se pueden definir funciones por plegado. Además, se comparan dichas definiciones con las definiciones recursivas, con acumuladores y con evaluación impaciente. Finalmente, se define la función de plegado para los árboles binarios y se usa para definir funciones sobre árboles.

El contenido de la relación es el siguiente
Read More “PFH: Ejercicios de definiciones por plegado”

PFH: Ejercicios sobre transacciones en Haskell

PorJosé A. Alonso 8 marzo 202212 marzo 2022

He añadido a la colección de Ejercicios de programación funcional con Haskell
la relación Transacciones en la que se estudia las transacciones de las cadenas
de bloques (en inglés, “blockchain”) que estudiamos en Cadenas de bloques.

El contenido de la relación es el siguiente
Read More “PFH: Ejercicios sobre transacciones en Haskell”

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”