En ghci, cuando escribo :t (-) para averiguar el tipo de (-), vuelve (-) :: Num a => a -> a -> a Sin embargo, cuando escribo -1haskell devuelve un número, lo que parece implicar que (-)es de tipo Num a => a -> a. ¿Cómo puede (-)tener aparentemente dos tipos
Este es el código que encontré en alguna parte, pero quiero saber cómo funciona esto: findIndices :: (a -> Bool) -> [a] -> [Int] findIndices _ [] = [] findIndices pred xs = map fst (filter (pred . snd) (zip [0..] xs)) Salida: findIndices (== 0) [1,2,0,3,0]==[2,4] , donde predes (==0)y...
Tal como dice el título: ¿qué garantías hay para evaluar una unidad de retorno de la función Haskell? Uno pensaría que no es necesario ejecutar ningún tipo de evaluación en tal caso, el compilador podría reemplazar todas esas llamadas con un ()valor inmediato a menos que existan solicitudes...
¿Por qué GHCi da una respuesta incorrecta a continuación? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 Python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 ACTUALIZACIÓN Implementaría la función de Haskell (^) de la...
La seasonfunción usa funciones algebraicas pero siento que el código es repetitivo. ¿Cómo lo hago lo más corto posible? data Month = Jan | Feb | Mar | Apr | May | June | July | Aug | Sept| Oct | Nov | Dec deriving (Eq,Ord,Show,Read) data Seasons = Spring | Summer | Autumn | Winter deriving...
Estoy escribiendo un paquete de dibujo con algunas partes, y tengo operadores y tipos de datos dispersos en todo. Sin embargo, no quiero que los usuarios agreguen los módulos correspondientes cada vez, ya que sería bastante complicado, por ejemplo, tendría una Pointclase, un Monoidrol y una...
Como State mónada se puede factorizar en Producto (Izquierda - Functor) y Lector (Derecha - Representable). ¿Hay alguna manera de factorizar la Mónada de Continuación? El siguiente código es mi intento, que no escribirá cheque -- To form a -> (a -> k) -> k {-# LANGUAGE...
Tengo un tipo Id ay estoy tratando de evitar la coerción accidental, por ejemplo, un Id Doublea un Id Int. Si entiendo los tipos de letra correctamente, no se debe compilar lo siguiente. {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type role Id nominal newtype Id a = Id...
type BSTree a = BinaryTree a data BinaryTree a = Null | Node (BinaryTree a) a (BinaryTree a) deriving Show flattenTree :: BinaryTree a -> [a] flattenTree tree = case tree of Null -> [] Node left val right -> (flattenTree left) ++ [val] ++ (flattenTree right) isBSTree :: (Ord a)...
Actualmente estoy lidiando con una función que va así: foo = (\(a:b:c:d:e:f:_) -> foobar a b c d e f) . (++ repeat def) En otras palabras, dada una lista, usa los primeros seis elementos para algo, y si la lista tiene menos de seis elementos, la usa defcomo un sustituto para los que faltan....
A continuación se muestran 3 funciones que encuentran el último pero segundo elemento en una lista. El que usa last . initparece mucho más rápido que el resto. Parece que no puedo entender por qué. Para las pruebas, utilicé una lista de entrada de [1..100000000](100 millones). El último se ejecuta...
Recientemente, comencé a aprender Haskell porque quería ampliar mis conocimientos sobre programación funcional y debo decir que hasta ahora me encanta. El recurso que estoy usando actualmente es el curso 'Haskell Fundamentals Part 1' en Pluralsight. Desafortunadamente, tengo algunas dificultades...
Estoy tratando de crear una función F # que devolverá la suma de una lista de ints de anidamiento arbitrario. Es decir. funcionará para a list<int>, a list<list<int>>y a list<list<list<list<list<list<int>>>>>>. En Haskell escribiría algo...
Un buen hecho verdadero sobre la concatenación es que si conozco dos variables en la ecuación: a ++ b = c Entonces sé el tercero. Me gustaría capturar esta idea en mi propia concat, así que uso una dependencia funcional. {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances,...
Estoy tratando de entender los tipos existenciales en Haskell y encontré un PDF http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Corrija mis entendimientos a continuación que tengo hasta ahora. Los tipos existenciales no parecen estar interesados en el tipo que contienen,...
Recientemente me he encontrado con situaciones en las que necesito pasar una función de predicado a otra función, y con frecuencia la lógica que estoy buscando es esencialmente "¿este valor coincide con este patrón?" La coincidencia de patrones parece preferirse en declaraciones, dobloques y...
Veo un comportamiento muy extraño en el que la bracketfunción de Haskell se comporta de manera diferente dependiendo de si se usa stack runo no stack test. Considere el siguiente código, donde se usan dos corchetes anidados para crear y limpiar contenedores Docker: module Main where import...
¿Con restricciones cuantificadas puedo derivar Eq (A f)bien? Sin embargo, cuando intento derivar Ord (A f) falla. No entiendo cómo usar restricciones cuantificadas cuando la clase de restricción tiene una superclase. ¿Cómo obtengo Ord (A f)y otras clases que tienen superclases? > newtype A f =...
Problema Considere el siguiente problema de diseño en Haskell. Tengo un EDSL simple y simbólico en el que quiero expresar variables y expresiones generales (polinomios multivariados) como x^2 * y + 2*z + 1. Además, quiero expresar ciertas ecuaciones simbólicas sobre expresiones, digamos x^2 + 1 =...
Un patrón que he encontrado varias veces ahora es uno en el que se debe verificar una lista de valores mapeando alguna prueba sobre él y ver si alguno o todos los elementos pasaron. La solución típica es usar los convenientes elementos integrados ally any. El problema es que estos se evalúan en...