Preguntas etiquetadas con haskell

Estaba vagando por la Sección restringida de la Biblioteca Haskell y encontré estos dos hechizos viles: {- System.IO.Unsafe -} unsafeDupablePerformIO :: IO a -> a unsafeDupablePerformIO (IO m) = case runRW# m of (# _, a #) -> a {- Data.ByteString.Internal -} accursedUnutterablePerformIO :: IO a -> a accursedUnutterablePerformIO (IO …

13 haskell  io  unsafe  unsafe-perform-io 

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 …

12 haskell 

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 …

12 haskell  algebraic-data-types 

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 …

12 haskell  composition  higher-order-functions  function-composition  pointfree 

¿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 siguiente manera. powerXY :: Double -> Int -> Double powerXY x 0 = 1 powerXY x y | y < …

12 haskell  floating-point  ghc  ghci 

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 explícitas de …

12 haskell  language-lawyer  lazy-evaluation  semantics  unit-type 

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 MultiParamTypeClasses, TypeOperators, InstanceSigs, …

11 haskell  monads  continuations  category-theory  comonad 

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 Styleclase en diferentes rutas …

11 haskell  raku 

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 String …

11 haskell  roles  coerce 

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 como: class HasSum a where getSum :: a -> Integer instance HasSum Integer where getSum = …

10 haskell  f# 

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, pero los patrones que coinciden con ellos dicen que existe algún tipo que no sabemos …

10 haskell  gadt  existential-type 

¿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 = A (f Int) > …

10 haskell  typeclass  derived-class  quantified-constraints 

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 Control.Concurrent import Control.Exception …

10 haskell  haskell-stack 

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 comprensiones de listas, pero hay una …

10 haskell 

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, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, …

10 haskell  typeclass  functional-dependencies  type-level-computation