Preguntas etiquetadas con haskell

Recientemente, comencé a aprender Haskell porque quería ampliar mis conocimientos sobre programación funcional y debo decir que hasta ahora me encanta. El recurso que estoy usando actualmente es el curso 'Haskell Fundamentals Part 1' en Pluralsight. Desafortunadamente, tengo algunas dificultades para entender una cita particular del profesor sobre el siguiente …

10 haskell 

A continuación se muestran 3 funciones que encuentran el último pero segundo elemento en una lista. El que usa last . initparece mucho más rápido que el resto. Parece que no puedo entender por qué. Para las pruebas, utilicé una lista de entrada de [1..100000000](100 millones). El último se ejecuta …

10 haskell 

Actualmente estoy lidiando con una función que va así: foo = (\(a:b:c:d:e:f:_) -> foobar a b c d e f) . (++ repeat def) En otras palabras, dada una lista, usa los primeros seis elementos para algo, y si la lista tiene menos de seis elementos, la usa defcomo un …

10 haskell  pattern-matching 

type BSTree a = BinaryTree a data BinaryTree a = Null | Node (BinaryTree a) a (BinaryTree a) deriving Show flattenTree :: BinaryTree a -> [a] flattenTree tree = case tree of Null -> [] Node left val right -> (flattenTree left) ++ [val] ++ (flattenTree right) isBSTree :: (Ord …

10 haskell  tree  binary-tree  binary-search-tree  predicate 

Tengo este código (ciertamente extraño) que usa lentes y GHC . {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Main where import Control.Lens import GHC.Records data Glass r = Glass -- just a dumb …

9 haskell  typeclass  typechecking 

Problema Considere el siguiente problema de diseño en Haskell. Tengo un EDSL simple y simbólico en el que quiero expresar variables y expresiones generales (polinomios multivariados) como x^2 * y + 2*z + 1. Además, quiero expresar ciertas ecuaciones simbólicas sobre expresiones, digamos x^2 + 1 = 1, así como …

9 haskell  casting  type-conversion  ghc  typeclass 

La Applicativeclase de tipos representa functores monoidales laxos que preservan la estructura monoidal cartesiana en la categoría de funciones escritas. En otras palabras, dados los testigos de isomorfismos canónicos que (,)forman una estructura monoidal: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) …

9 haskell  functor  applicative  category-theory 

Un patrón que he encontrado varias veces ahora es uno en el que se debe verificar una lista de valores mapeando alguna prueba sobre él y ver si alguno o todos los elementos pasaron. La solución típica es usar los convenientes elementos integrados ally any. El problema es que estos …

9 haskell  testing  concurrency  parallel-processing  any 

Me he tropezado con algunas cosas irritantes. Sé que Haskell funciona con la forma normal de la cabeza débil (WHNF) y sé qué es esto. Escribiendo el siguiente código en ghci (estoy usando el comando: sprint que reduce la expresión a WHNF que yo sepa): let intlist = [[1,2],[2,3]] :sprint …

9 haskell  functional-programming  ghci  reduction  weak-head-normal-form 

Estoy aprendiendo Haskell y estaba haciendo un simple programa de semilla de base de datos para Yesod cuando me topé con este comportamiento que me resulta difícil de entender: testFn :: Int -> Bool -> [Int] testFn a b = if b then replicate 10 a else [] Sesión Yesod …

9 haskell  traversal 

(Inspirado por mi respuesta a esta pregunta ). Considere este código (se supone que debe encontrar el elemento más grande que sea menor o igual que una entrada dada): data TreeMap v = Leaf | Node Integer v (TreeMap v) (TreeMap v) deriving (Show, Read, Eq, Ord) closestLess :: Integer …

9 haskell  lazy-evaluation  dry 

Estoy tratando de definir una familia de máquinas de estados con tipos de estados algo diferentes. En particular, las máquinas de estado más "complejas" tienen estados que se forman combinando los estados de máquinas de estado más simples. (Esto es similar a una configuración orientada a objetos donde un objeto …

9 haskell  state  monads  monad-transformers  state-monad 

¿Por qué no son equivalentes? show $ if someCondition then someInt else some double y if someCondition then show someInt else show someDouble Entiendo que si aísla la if ... elseparte en el primer ejemplo de una expresión en sí misma, entonces no puede representar su tipo con un tipo …

9 haskell  compiler-construction  language-features  typechecking 

Estoy realmente luchando por entender callCC. Obtengo el poder de las Continuaciones y he estado usando el concepto en algunos de mis proyectos para crear conceptos geniales. Pero nunca he necesitado usar algo con mayores capacidades que cont :: ((a->r)->r)-> Cont r a. Después de usarlo, tiene mucho sentido por …

9 haskell  functional-programming  monads 

Estoy tratando de juntar varios diagramas en una especie de tabla. Creo que esto se llama "impresión de índice" , la gente de fotografía hace eso cuando tienen que revisar muchas fotografías a la vez. De todos modos, este es el código: main :: IO () main = mainWith @(Diagram …

9 haskell  haskell-diagrams