He añadido a la colección de Ejercicios de programación funcional con Haskell la relación de árboles binarios de búsqueda en la que se definen los tipos de datos de los árboles binarios y los árboles binarios de búsqueda, se definen funciones sobre dichos tipos y se comprueban con QuickCheck propiedades de las funciones definidas.
El contenido de la relación es el siguiente
Read More “PFH: Ejercicios sobre árboles binarios de búsqueda”
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”
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)”