Estoy tratando de definir cualquier función simple que abarque varias líneas en ghci, tome lo siguiente como ejemplo: let abs n | n >= 0 = n | otherwise = -n Hasta ahora he intentado presionar Enter después de la primera línea: Prelude> let abs n | n >= 0 = n Prelude> | otherwise =...
He visto varias fuentes hacerse eco de la opinión de que "Haskell se está convirtiendo gradualmente en un lenguaje de tipo dependiente". La implicación parece ser que con más y más extensiones de lenguaje, Haskell se está desviando en esa dirección general, pero aún no está allí. Básicamente hay...
Los rasgos en Rust parecen al menos superficialmente similares a las clases tipográficas en Haskell, sin embargo, he visto a personas escribir que hay algunas diferencias entre ellos. Me preguntaba exactamente cuáles son estas
Tengo problemas para que GHC especialice una función con una restricción de clase. Tengo un ejemplo mínimo de mi problema aquí: Foo.hs y Main.hs . Los dos archivos se compilan (GHC 7.6.2, ghc -O3 Main) y se ejecutan. NOTA: Foo.hs está realmente despojado. Si desea ver por qué se necesita la...
Si, estos : {-#LANGUAGE TypeOperators, RankNTypes #-} import Control.Morphism.Zygo import Control.Morphism.Prepro import Control.Morphism.Histo import Control.Functor.Algebra import Control.Functor.Extras import Control.Functor.Fix import Control.Comonad.Cofree zygohistomorphic_prepromorphism...
En primer lugar, el mundo real Haskell , que estoy leyendo, dice que nunca usefoldl y en su lugar use foldl'. Entonces confío en eso. Pero estoy nebuloso sobre cuándo utilizar foldrvs foldl'. Aunque puedo ver la estructura de cómo funcionan de manera diferente frente a mí, soy demasiado estúpido...
¿Hay una respuesta simple: por qué es tan grande el GHC? OCaml: 2MB Python: 15 MB SBCL: 9MB OpenJRE - 26MB GHC: 113MB No me interesa el evangelismo de "Por qué no debería importarme el tamaño si Haskell es la herramienta adecuada"; Esta es una pregunta
Tengo tipos de datos definidos como: data ComitteeView = CommitteeView { committeeId :: CommitteeId , committeeMembers :: [Person] } data CommitteesView = CommitteesView { committeeView :: [CommitteeView] } Ahora, tal como está, tengo un modelo Persistente definido como: Person name...
Estoy tratando de usar el ghc-modcomplemento vim para hacer una verificación de tipo / sintaxis, etc. Sin embargo, descubrí que ghc-modsiempre usa rutas completas de tipos en los mensajes de error, por ejemplo: test.hs|71 col 13 error| Couldn't match type ‘Data.Text.Internal.Text’ || with...
Estoy tratando de descubrir cómo usar correctamente la API OpenSSL.Session en un contexto concurrente Por ejemplo, suponga que quiero implementar un stunnel-style ssl-wrapper, esperaría tener la siguiente estructura básica de esqueleto, que implementa un ingenuofull-duplex
No entiendo qué es "levantar". ¿Debería entender primero las mónadas antes de entender qué es un "ascensor"? (También soy completamente ignorante acerca de las mónadas :) ¿O alguien puede explicármelo con palabras
Tenía la esperanza de incrustar un intérprete de Haskell usando hintpara poder escribir complementos en Haskell para usar con mi programa. No quiero tener que enviar toda la plataforma Haskell para mis ejecutables. Normalmente, los ejecutables de Haskell son bastante independientes. Por ejemplo,...
Cualquier indicador sobre cómo resolver eficientemente la siguiente función en Haskell, para grandes números (n > 108) f(n) = max(n, f(n/2) + f(n/3) + f(n/4)) He visto ejemplos de memorización en Haskell para resolver números de Fibonacci, lo que implicaba calcular (perezosamente) todos los...
Tengo problemas para ingresar comandos de varias líneas en ghci. El siguiente código de 2 líneas funciona desde un archivo: addTwo :: Int -> Int -> Int addTwo x y = x + y Pero cuando entro en ghci, aparece un error: <interactive>:1:1: error: Variable not in scope: addTwo :: Int...
¿Existe una función para concatenar elementos de una lista con un separador? Por ejemplo: > foobar " " ["is","there","such","a","function","?"] ["is there such a function ?"] Gracias por cualquier
Estamos desarrollando un programa que recibe y reenvía "mensajes", mientras mantiene un historial temporal de esos mensajes, para que pueda informarle el historial de mensajes si así lo solicita. Los mensajes se identifican numéricamente, por lo general tienen un tamaño de alrededor de 1 kilobyte y...
¿Cuál es exactamente la diferencia entre mody remen Haskell? Ambos parecen dar los mismos resultados. *Main> mod 2 3 2 *Main> rem 2 3 2 *Main> mod 10 5 0 *Main> rem 10 5 0 *Main> mod 1 0 *** Exception: divide by zero *Main> rem 1 0 *** Exception: divide by zero *Main> mod 1...
He estado leyendo Real World Haskell , y me estoy acercando al final, pero una cuestión de estilo me ha estado fastidiando con los operadores (.)y ($). Cuando escribe una función que es una composición de otras funciones, la escribe así: f = g . h Pero cuando aplicas algo al final de esas...
Me he encontrado con un código de Haskell que se ve así: ps@(p:pt) ¿Qué significa el @símbolo en este contexto? Parece que no puedo encontrar ninguna información en Google (desafortunadamente es difícil buscar símbolos en Google), y no puedo encontrar la función en la documentación del Preludio,...
Los tipos de métodos dependientes, que solían ser una característica experimental antes, ahora se han habilitado por defecto en el tronco , y aparentemente esto parece haber creado algo de emoción en la comunidad Scala. A primera vista, no es inmediatamente obvio para qué esto podría ser útil....