Resultados de la búsqueda a petición "haskell"
¿Cómo puedo usar evidencia contradictoria?
Mientras escribosobre cómo hacer subtipos en Haskell [https://stackoverflow.com/a/36680559/791604], se me ocurrió que sería muy conveniente poder "usar" evidencia contradictoria comoTrue ~ False informar al compilador sobre ramas muertas. Con ...
Diversión con los tipos! Resolviendo declaraciones de múltiples instancias
Estoy tratando de escribir un código Haskell en el que hay varios tipos de datos, cada uno de los cuales puede tener varias implementaciones. Para ello, defi...
Base de números de conversión
¿Hay alguna función de plataforma que haga lo siguiente?
¿Cómo puedo evitar escribir código repetitivo para funciones que realizan la comparación de patrones?
Enesta respuesta aotra pregunta, se dio un pequeño boceto de código de Haskell que utiliza funciones de envoltorio para factorizar el código para realizar la...
Mejores prácticas de Haskell QuickCheck (especialmente al probar clases de tipos)
Acabo de empezar a usar QuickCheck con un montón de código Haskell. Estoy atrasado de los tiempos, lo sé. Esta pregunta es de dos partes:En primer lugar, ¿cu...
Mónadas contra flechas
Estoy ampliamente familiarizado con los conceptos demónadas [http://en.wikipedia.org/wiki/Monads_in_functional_programming]yflechas [http://en.wikipedia.org/wiki/Arrows_in_functional_programming]como se usa en la programación funcional. También ...
Acceso a miembros de un tipo de datos personalizado en Haskell
Digamos que tengo el siguiente tipo de datos personalizado y función en Haskell:
Estado de gestión - capítulo 3 del SICP
He estado trabajando enEstructura e interpretación de programas informáticos. y completando los ejercicios en Haskell. Los dos primeros capítulos estaban bie...