Resultados de la búsqueda a petición "haskell"
¿Cómo construir una matriz de ceros usando hmatrix?
Intentando usar hmatrix [http://hackage.haskell.org/package/hmatrix], para crear un marix cero. Por alguna razón, cuando intento esto en la línea de comandos, funciona: buildMatrix 2 3 (\(r,c) -> fromIntegral 0) Sin embargo, cuando trato de ...
A diferencia de un Functor, ¿una mónada puede cambiar de forma?
Siempre me ha gustado la siguiente explicación intuitiva del poder de una mónada en relación con un functor: una mónada puede cambiar de forma; un functor no puede. Por ejemplo:length $ fmap f [1,2,3] siempre es igual a3. Con una mónada, sin ...
¿Obtener los nombres de campo de un registro Haskell como una lista de cadenas?
Di que tengo lo siguiente: data Rec = Rec { alpha :: Int, beta :: Double, phi :: Float } sample = Rec 1 2.3 4.5 Entiendo Template Haskell y elreifya función @ puede obtener los nombres de campo del registro. Es decir print $(f sample) --> ...
Declare que todas las instancias de una clase de tipos están en otra clase de tipos sin modificar las declaraciones de clase originales
Hay una API Crypto.Random dentro del paquete crypto-api que especifica lo que significa que algo sea un "generador de números pseudoaleatorios". He implementado esta API utilizando una instancia de la clase RandomGen de System.Random, a saber, ...
Truth Tables from Anonymous Functions in Haskell
Estoy tratando de generar una tabla de verdad para una expresión booleana dada. Podría hacer esto creando un nuevo Datatype BoolExpr, pero quiero hacerlo con una función anónima. Se supone que funciona así: > tTable (\x y -> not (x || y)) ...
Eliminar archivo si existe
¿Cuál es la forma correcta de hacer esto en Haskell? if exists "foo.txt" then delete "foo.txt" doSomethingElse Hasta ahora tengo: import System.Directory main = do filename <- getFileNameSomehow fileExists <- doesFileExist filename if ...
Cómo elige GHCi nombres para las variables de tipo?
Cuando se usa el intérprete interactivo de GHC, es posible solicitar el tipo inferido de una expresión: Prelude> :t map map :: (a -> b) -> [a] -> [b] Parece que toma los nombres de las variables de tipo de la firma desdemap es ...
determinar el comportamiento de la función a partir del tipo de la función
Nuevo para Haskell, lo siento si esto es muy básico Este ejemplo está tomado de "Real World Haskell" - ghci> :type fst fst :: (a, b) -> a Muestran el tipo defst función y luego siga con este párrafo ... "El tipo de resultado defst esa. Ya ...
Cómo extraer valor de la acción monádica
¿Hay una función incorporada con firma:: (Monad m) => m a -> a ? Hoogle dice que no existe tal función. ¿Puedes explicar porque
¿Cómo traducir esta fórmula matemática en Haskell o Python? (Fue traducido en PHP)
Estoy tratando de convertir una fórmula matemática en código PHP. Puede ver la fórmula en la respuesta aceptada aquí:Aplicar una fórmula matemática de una manera más elegante (tal vez una llamada recursiva ...