Preguntas etiquetadas con haskell

Estoy tratando de hacer esta pregunta desde mi tarea: Dado arbitrario foo :: [[a]] -> ([a], [a]), escriba una ley que foosatisfaga la función , involucrando mapen listas y pares. Algún contexto: soy un estudiante de primer año que toma un curso de programación funcional. Si bien el curso es …

8 haskell  free-theorem 

¿Por qué recibo un <<loop>>error de tiempo de ejecución de bucle infinito ( ) aquí? archivo feedback.hs: plus1 :: [Int]->[Int] -- add 1 to input stream plus1 [] = [] plus1 (x:xs) = (x+1): plus1 xs to10 :: [Int] -> [Int] -- stop the input stream when it gets to …

8 haskell  lazy-sequences 

La ley de naturalidad establece que: t . traverse f == traverse (t . f) -- for every applicative transformer t Ahora para el RHS de la ley, si f tiene el tipo Applicative a => x -> a y, entonces t tiene que ser del tipo (Applicative a, Applicative …

8 haskell  types  applicative  traversable 

Me las arreglé para entender la definición de la clase. MonadReader class Monad m => MonadReader r m | m -> r where ... Después de leer el documento de Dependencia funcional en Haskell, ahora puedo entender que | m -> respecifica que la variable de tipo rse decide de …

8 haskell  monads  ghc  type-systems 

Estoy confundido por qué mi función nestque se compone fconsigo misma nveces nest f 0 = id nest f n = f . nest f (n - 1) nunca termina Pensé que "coincidiría con el patrón" en el caso cuando se nconvierta en cero. Lo estoy definiendo escribiendo estas dos …

8 haskell 

Estoy tratando de cambiar una lista en haskell para incluir 0 entre cada elemento. Si tenemos una lista inicial [1..20], me gustaría cambiarla a[1,0,2,0,3..20] Lo que pensé en hacer es usar el mapa en cada función, extraer el elemento y luego agregarlo a la lista y usarlo ++[0], pero no …

8 list  haskell