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”
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
|
1 2 3 4 5 6 7 |
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”
Esta semana he publicado en Exercitium las soluciones de los siguientes problemas:
A continuación se muestran las soluciones.
Read More “La semana en Exercitium (del 28 de febrero al 4 de marzo)”
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”
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”