Resultados de la búsqueda a petición "haskell"
Haskell: Conversión entre clases de tipos
Para estos datos: data A = A data B = B class C1 a where repr :: a -> String instance C1 A where repr _ = "A" instance C1 B where repr _ = "B" class C2 a instance C2 A¿Hay alguna manera de implementar funciones con este tipo? conv :: (C1 a, C2 ...
Torres de Hanoi con clavijas K
losTorres de Hanoi [http://en.wikipedia.org/wiki/Tower_of_Hanoi]El problema es un problema clásico para la recursividad. Se le dan 3 clavijas con discos en uno de ellos, y debe mover todos los discos de una clavija a otra, siguiendo las reglas ...
¿Por qué es toList (1, 2) == [2]
Como dice la pregunta, ¿por qué estoList (1, 2) == [2]? Recuerdo que sucedió algo similar cuando fmapping en tuplas, pero no recuerdo por qué o si está relacionado.
Contar las apariciones de caracteres en una cadena Haskell [cerrado]
Tratando de determinar cómo contar las ocurrencias de unchar es unstring. Estaba para ser almacenado en una lista[char,count]. countChars :: String -> [(Char, Int)] Soy nuevo y estoy aprendiendo Haskell, por lo que cualquier ayuda es muy apreciada.
¿Por qué la multiplicación solo cortocircuita en un lado?
Estaba jugando confix y después de perder el tiempo me encontré con un comportamiento extraño, a saber, que0 * undefined es*** Exception: Prelude.undefined yundefined * 0 es0. Lo que también significa quefix (0 *) es*** Exception: <<loop>> yfix ...
¿Cosa 'Refl' en Cálculo de Construcciones?
En idiomas comoAgda, IdrisoHaskell con extensiones de tipo, hay un= escriba algo así como lo siguiente data a :~: b where Refl :: a :~: aa :~: b significa quea yb son lo mismo. ¿Se puede definir tal tipo en elcálculo de ...
En Haskell, ¿por qué no hay una TypeClass para cosas que pueden actuar como listas?
Estoy leyendoLearn You a Haskell [http://www.learnyouahaskell.com]y me pregunto por qué tantas cosas están actuando como una lista, y nada en el Preludio está usando la facilidad nativa de las clases de tipos para configurar esto: "La versión de ...
¿Por qué hay "datos" y "newtype" en Haskell? [duplicar
Esta pregunta ya tiene una respuesta aquí: Diferencia entre `data` y` newtype` en Haskell [/questions/5889696/difference-between-data-and-newtype-in-haskell] 1 respuesta Parece que unnewtype definición es solo undata definición que obedece a ...
Monoid vs MonadPlus [duplicado]
Esta pregunta ya tiene una respuesta aquí: ¿Por qué MonadPlus y no Monad + Monoid? [/questions/23023961/why-monadplus-and-not-monad-monoid] 2 respuestas Soy muy nuevo para ambosMonads yMonoids y recientemente también aprendí sobreMonadPlus. Por ...
¿Por qué envolver la mónada Data.Binary.Put crea una pérdida de memoria? (Parte 2
Como en miPregunta anterio [https://stackoverflow.com/questions/4828902/why-wrapping-the-data-binary-put-monad-creates-a-memory-leak] , Estoy tratando de envolver la mónada Data.Binary.Put en otra mónada para que luego pueda hacer preguntas como ...