He añadido a LógicaMente la siguiente relación de ejercicios que ilustra el uso de las funciones de orden superior en Haskell y la comprobación de sus propiedades con QuickCheck.
Read More “Segmentos de una lista que verifican una propiedad”
El objetivo de esta relación de ejercicios es estudiar dos representaciones de las expresiones aritméticas construidas con una variable, los números enteros y las operaciones suma y producto.
Una representación es mediante tipo algebraico y la otra es mediante la lista de los coeficientes del polinomio correspondiente.
Se verá como puede transformarse una representación en la otra y se comprobará con QuickCheck la equivalencia de las representaciones.
La relación está basada en el ejercicio 3.3 (página 15) del artículo Interactive Proof Introduction to Isabelle/HOL de Tobias Nipkow.
El contenido de la relación de ejercicios se encuentra en LógicaMente y se muestra a continuación:
Read More “Expresiones aritméticas mediante tipos abstracto de datos y polinomios en Haskell”