Preguntas etiquetadas con haskell

Este es el escenario: he escrito un código con una firma de tipo y las quejas de GHC no pudieron deducir x ~ y para algunos xy y. Por lo general, puede arrojar un hueso a GHC y simplemente agregar el isomorfismo a las restricciones de la función, pero esta …

322 haskell  constraints  ghc 

Estoy empezando a entender cómo forallse usa la palabra clave en los llamados "tipos existenciales" como este: data ShowBox = forall s. Show s => SB s Sin embargo, esto es solo un subconjunto de cómo forallse usa y simplemente no puedo entender cómo se usa en cosas como esta: …

312 haskell  syntax  types  ghc  forall 

¿Qué significa la forma normal de la cabeza débil (WHNF)? ¿Qué significa Head Normal form (HNF) y Normal Form (NF)? El mundo real Haskell afirma: La función seq familiar evalúa una expresión a lo que llamamos forma normal de la cabeza (abreviado HNF). Se detiene una vez que alcanza el …

290 haskell  definition  strictness  weak-head-normal-form 

La expresión 'algebraica' para los tipos de datos algebraicos parece muy sugerente para alguien con experiencia en matemáticas. Déjame intentar explicar lo que quiero decir. Habiendo definido los tipos básicos Producto • Unión + único X Unidad 1 y usando la taquigrafía X²para X•Xy 2Xpara X+Xetcétera, podemos definir expresiones algebraicas …

289 haskell  functional-programming  algebraic-data-types  miranda 

Quiero estudiar FRP en Haskell, pero es un poco difícil decidir qué biblioteca utilizar. Muchos parecen ser intentos muertos, algunos parecen haber resucitado (como la actividad reciente en Yampa). Por lo que leí, parece que hay dos "tipos" de FRP: FRP push-pull (como en Reactive-banana) en un lado y FRP …

265 haskell  frp  reactive-banana  yampa 

Me encontré con la siguiente definición cuando trato de aprender Haskell usando un proyecto real para conducirlo. No entiendo lo que significa el signo de exclamación frente a cada argumento y mis libros no parecen mencionarlo. data MidiMessage = MidiMessage !Int !MidiMessage

262 haskell  syntax  lazy-evaluation 

¿Puede Template Haskell descubrir los nombres y / o las declaraciones de los sinónimos de tipo asociados declarados en una clase de tipo? Esperaba reifyhacer lo que quisiera, pero no parece proporcionar toda la información necesaria. Funciona para obtener firmas de tipo de función: % ghci GHCi, version 7.8.3: http://www.haskell.org/ghc/ …

257 haskell  template-haskell  type-families  reify  associated-types 

Parece que Template Haskell es a menudo visto por la comunidad de Haskell como una conveniencia desafortunada. Es difícil poner en palabras exactamente lo que he observado al respecto, pero considere estos pocos ejemplos La plantilla Haskell aparece en "Lo feo (pero necesario)" en respuesta a la pregunta ¿Qué extensiones …

252 haskell  template-haskell 

Haskell (con el GHCcompilador) es mucho más rápido de lo que cabría esperar . Utilizado correctamente, puede acercarse a los idiomas de bajo nivel. (Una de las cosas favoritas de Haskellers es intentar alcanzar el 5% de C (o incluso superarlo, pero eso significa que está utilizando un programa de …

246 performance  haskell  ghc  higher-order-functions  lambda-calculus 

Los dos marcos web de Haskell en las noticias recientemente son Yesod (en 0.8) y Snap (en 0.4). Es bastante obvio que Yesod actualmente admite muchas más funciones que Snap. Sin embargo, no soporto la sintaxis que Yesod usa para su HTML, CSS y Javascript. Entonces, me gustaría entender lo …

231 haskell  web-frameworks  yesod  haskell-snap-framework 

Estoy aprendiendo Haskell y leí un par de artículos sobre las diferencias de rendimiento de las listas de Haskell y las matrices de (inserte su idioma). Como aprendiz, obviamente solo uso listas sin siquiera pensar en la diferencia de rendimiento. Recientemente comencé a investigar y encontré numerosas bibliotecas de estructura …

230 haskell 

Creo que la comunidad de Erlang no tiene envidia de Node.js, ya que lo hace sin bloqueo de E / S de forma nativa y tiene formas de escalar fácilmente las implementaciones a más de un procesador (algo que ni siquiera está integrado en Node.js). Más detalles en http://journal.dedasys.com/2010/04/29/erlang-vs-node-js y …

217 multithreading  haskell  concurrency  node.js 

Nota: esta es una extensión del hilo iniciado en / r / haskell Comencemos con los hechos: Android es un sistema operativo increíble Haskell es el mejor lenguaje de programación del planeta. Por lo tanto, claramente, combinarlos mejoraría mucho el desarrollo de Android. Esencialmente, me gustaría saber cómo puedo escribir …

216 android  haskell  executable 

Recientemente publiqué una pregunta sobre syntactic-2.0 con respecto a la definición de share. He tenido esto trabajando en GHC 7.6 : {-# LANGUAGE GADTs, TypeOperators, FlexibleContexts #-} import Data.Syntactic import Data.Syntactic.Sugar.BindingT data Let a where Let :: Let (a :-> (a -> b) :-> Full b) share :: (Let :<: …

212 haskell  ghc 

Al explicarle a alguien qué es un tipo de clase X, lucho por encontrar buenos ejemplos de estructuras de datos que sean exactamente X. Entonces, solicito ejemplos para: Un constructor de tipos que no es un Functor. Un constructor de tipos que es un Functor, pero no Aplicativo. Un constructor …

210 haskell  monads  functor  applicative