Resultados de la búsqueda a petición "haskell"
Restringir una mónada a una clase de tipo
En Haskell, ¿hay alguna manera de restringir una mónada?M a así que esoa satisfacer una restricción de clase de tipo? Estoy traduciendo elejemplo de modelado ...
¿Cómo hago para que funcione la extensión de idioma OverloadedStrings?
He habilitado cadenas sobrecargadas, pero no puedo hacer que funcionen: $ cat overloadedstrings.hs {-# LANGUAGE OverloadedStrings #-} import qualified Data.ByteString as B import qualified Data.ByteString.Lazy as BL lazy :: BL.ByteString lazy = ...
En Haskell, ¿son los "tipos de tipo superior" * realmente * tipos? ¿O simplemente denotan colecciones de tipos * concretos * y nada más?
Funciones paramétricamente polimórficasConsidere la siguiente función: f :: a -> Int f x = (1 :: Int)Podríamos decir que el tipo def esa -> Int, y esof por lo tanto es de tipo "polimórfico". ¿Cuál de las siguientes es la forma más precisa de ...
¿Desventajas del sistema de tipo Scala versus Haskell?
He leído que el sistema de tipos de Scala está debilitado por la interoperabilidad de Java y, por lo tanto, no puede realizar algunos de los mismos poderes que el sistema de tipos de Haskell. ¿Es esto cierto? ¿La debilidad se debe al borrado del ...
Forzar `stack` para reconstruir un paquete instalado
A menudo instalo un paquete que depende de bibliotecas externas y luego logro mover esas bibliotecas externas a otras ubicaciones, para que los programas compilados salgan con un error de cargador. En esos casos, solo quiero que stack ...
¿Hay alguna manera de encadenar funciones como withCString?
¿Hay alguna manera de encadenar funciones comowithCString? Con eso me refiero a cualquier función que se parece a algof :: Foo -> (CFoo -> IO a) -> IO a. Por ejemplo, digamos que hay una funcióncFunc :: CString -> CFoo -> CBar -> ...
¿Hay alguna manera de limitar la memoria, ghci puede tener?
Estoy acostumbrado a depurar mi código usando ghci. A menudo, sucede algo como esto (no tan obvio, por supuesto): ghci> let f@(_:x) = 0:1:zipWith(+)f x ghci> length fEntonces, no pasa nada por algún tiempo, y si no reacciono lo suficientemente ...
¿Qué hace que el sistema de tipos de Haskell sea más "poderoso" que los sistemas de tipos de otros idiomas?
Leyendo¿Desventajas del sistema de tipo Scala versus Haskell? [https://stackoverflow.com/questions/3689407/disadvantages-of-scala-type-system-versus-haskell] , Tengo que preguntar: ¿qué es, específicamente, lo que hace que el sistema de tipos de ...
¿Quién inventó el pase de poder y cuándo?
Parece que hasta los últimos años, la forma habitual de pasar un tipo adicional a una función era hacer algo como f (undefined :: T)Kiselyov y Shan incluso utilizaron este enfoque en su artículo clásico sobre la reflexión basada en la clase que ...
Cómo depurar programas de nivel de tipo
Estoy tratando de hacer una programación a nivel de tipo hoopy, y simplemente no funciona. Me estoy arrancando el pelo tratando de entender por qué el GHC no logra inferir las firmas que quiero. ¿Hay alguna manera de hacer GHCDime que esta ...