Resultados de la búsqueda a petición "haskell"
Coincidencia de patrones en la teoría del tipo observacional
Al final de la sección "5. OTT completo" deHacia la teoría del tipo de observación [http://strictlypositive.org/ott.pdf]Los autores muestran cómo definir los tipos de datos indexados coercibles bajo constructores en OTT. La idea es básicamente ...
¿Cómo usar readProcessWithExitCode?
Este comando funciona bien en mi terminal: grep --include=\\*.txt --recursive --regexp='answer'Este funciona bien en ghci: import System.Process r <- readCreateProcessWithExitCode (shell "grep --include=\\*.txt --recursive --regexp='answer'") ...
¿Cuál es la diferencia entre indefinido en Haskell y nulo en Java?
Ambos son términos cuyo tipo es la intersección de todos los tipos (deshabitada). Ambos se pueden pasar en código sin fallar hasta que uno intente evaluarlos. La única diferencia que puedo ver es que en Java, hay una laguna que permitenull para ...
foldr y foldl explicaciones y ejemplos adicionales
He miradodiferentes pliegues [http://www.haskell.org/haskellwiki/Foldr_Foldl_Foldl%27]yplegado en general [http://haskell.org/haskellwiki/Fold]así como algunos otros y lo explican bastante bien. Todavía tengo problemas sobre cómo funcionaría una ...
Uso en el mundo real de GADT
¿Cómo uso el tipo de datos algebraicos generalizados? El ejemplo dado en elhaskell wikibook [http://en.wikibooks.org/wiki/Haskell/GADT]es demasiado corto para darme una idea de las posibilidades reales de GADT.
Haskell HXT para extraer una lista de valores
Estoy tratando de encontrar mi camino a través de HXT con XPath y flechas al mismo tiempo y estoy completamente atrapado en cómo pensar en este problema. Tengo el siguiente HTML: <div> <div class="c1">a</div> <div class="c2">b</div> <div ...
Divide un número en sus dígitos con Haskell
Dado un número arbitrario, ¿cómo puedo procesar cada dígito del número individualmente? EditarHe agregado un ejemplo básico del tipo de cosasFoo podría hacer. Por ejemplo, en C # podría hacer algo como esto: static void Main(string[] args) { ...
Plegable, monoide y mónada
Considere la siguiente firma defoldMap foldMap :: (Foldable t, Monoid m) => (a -> m) -> t a -> mEsto es muy similar a "vincular", solo con los argumentos intercambiados: (>>=) :: Monad m => m a -> (a -> m b) -> m bMe parece que, por lo tanto, ...
¿Cuándo es automática la memorización en GHC Haskell?
No puedo entender por qué aparentemente se memoriza m1 mientras que m2 no está en lo siguiente: m1 = ((filter odd [1..]) !!) m2 n = ((filter odd [1..]) !! n)m1 10000000 tarda aproximadamente 1,5 segundos en la primera llamada, y una fracción de ...
Seleccione qué prueba ejecutar con Hspec y apile
He escrito una serie de pruebas, usando eldescubrimiento automático de especificaciones [http://hspec.github.io/hspec-discover.html]característica de Hspec. También estoy usandoapilar [https://docs.haskellstack.org/en/stable/README/]como mi ...