Preguntas etiquetadas con haskell

Cerrada . Esta pregunta está basada en la opinión . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que pueda ser respondida con hechos y citas editando esta publicación . Cerrado hace 2 años . Mejora esta pregunta Estoy leyendo Learn You a Haskell for …

204 haskell  operators 

Sé que puedes convertir un Stringa un número con read: Prelude> read "3" :: Int 3 Prelude> read "3" :: Double 3.0 Pero, ¿cómo tomas la Stringrepresentación de un Intvalor?

198 string  haskell  int  casting 

Core es el lenguaje intermedio de GHC. Reading Core puede ayudarlo a comprender mejor el rendimiento de su programa. Alguien me pidió documentación o tutoriales sobre lectura de Core, pero no pude encontrar mucho. ¿Qué documentación hay disponible para leer GHC Core? Esto es lo que he encontrado hasta ahora: …

193 performance  compiler-construction  haskell  ghc 

¿Cuál es la diferencia cuando escribo esto? data Book = Book Int Int versus newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically invalid

191 haskell  types  type-systems  newtype 

GHC tiene muchas optimizaciones que puede realizar, pero no sé cuáles son todas, ni la probabilidad de que se realicen y en qué circunstancias. Mi pregunta es: ¿qué transformaciones puedo esperar que se aplique cada vez, o casi? Si miro un fragmento de código que se ejecutará (evaluará) con frecuencia …

183 optimization  haskell  ghc 

Hay al menos tres bibliotecas populares para acceder y manipular campos de registros. Los que conozco son: acceso de datos, etiquetas y lentes. Personalmente comencé con el acceso a datos y los estoy usando ahora. Sin embargo, recientemente en Haskell-Cafe había una opinión de que las etiquetas eran superiores. Por …

173 data-structures  haskell  record  lenses 

¿Alguien podría dar algunos consejos sobre por qué los cálculos impuros en Haskell se modelan como mónadas? Quiero decir que mónada es solo una interfaz con 4 operaciones, entonces, ¿cuál fue el razonamiento para modelar los efectos secundarios?

172 haskell  functional-programming  monads 

En Haskell, ¿cuál es la diferencia entre an Inty an Integer? ¿Dónde se documenta la respuesta?

169 haskell  numbers  integer  int  bignum 

¿Hay una forma estándar de dividir una cadena en Haskell? linesy wordsfunciona muy bien al dividir en un espacio o en una nueva línea, pero ¿seguramente hay una forma estándar de dividir en una coma? No pude encontrarlo en Hoogle. Para ser específico, estoy buscando algo donde split "," "my,comma,separated,list"regrese …

163 string  haskell 

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 dos …

161 haskell  type-systems  dependent-type 

¿Cuál es el estado de la programación multinúcleo en Haskell? ¿Qué proyectos, herramientas y bibliotecas están disponibles ahora? ¿Qué informes de experiencia ha habido?

161 haskell  concurrency  functional-programming  multicore  parallel-processing 

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 …

161 haskell  ghci 

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 diferencias.

157 haskell  rust  traits 

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 …

156 haskell  ghc 

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 :: Functor f => Algebra f b -> GAlgebra f (ZygoT (Cofree f) b) a -> (f :~> f) -> FixF f -> a zygohistomorphic_prepromorphism f = g_prepro …

156 haskell  functional-programming  category-theory