Questions marquées «haskell»

Haskell est un langage de programmation fonctionnel comprenant un typage statique fort, une évaluation paresseuse, un support étendu du parallélisme et de la concurrence, et des capacités d'abstraction uniques.

2
Techniques de traçage des contraintes
Voici le scénario: j'ai écrit du code avec une signature de type et GHC ne peut pas déduire x ~ y pour certains xet y. Vous pouvez généralement lancer un os GHC et simplement ajouter l'isomorphisme aux contraintes de fonction, mais c'est une mauvaise idée pour plusieurs raisons: Il ne …
322 haskell  constraints  ghc 
8
Que fait le mot-clé `forall` dans Haskell / GHC?
Je commence à comprendre comment le forallmot-clé est utilisé dans les soi-disant "types existentiels" comme ceci: data ShowBox = forall s. Show s => SB s Ce n'est qu'un sous-ensemble, cependant, de la façon dont il forallest utilisé et je ne peux tout simplement pas me concentrer sur son utilisation …
312 haskell  syntax  types  ghc  forall 
7
Abuser de l'algèbre des types de données algébriques - pourquoi cela fonctionne-t-il?
L'expression «algébrique» pour les types de données algébriques semble très suggestive pour une personne ayant une formation en mathématiques. Permettez-moi d'essayer d'expliquer ce que je veux dire. Après avoir défini les types de base Produit • syndicat + Singleton X Unité 1 et en utilisant le raccourci X²pour X•Xet 2Xpour …
6
Qu'est-ce qui est si mauvais avec Template Haskell?
Il semble que Template Haskell soit souvent considéré par la communauté Haskell comme une commodité malheureuse. Il est difficile de mettre en mots exactement ce que j'ai observé à cet égard, mais considérez ces quelques exemples Modèle Haskell répertorié sous "The Ugly (but necessary)" en réponse à la question Quelles …
1
Haskell: listes, tableaux, vecteurs, séquences
J'apprends Haskell et j'ai lu quelques articles concernant les différences de performances des listes Haskell et (insérez votre langue) les tableaux. Étant un apprenant, j'utilise évidemment des listes sans même penser à la différence de performance. J'ai récemment commencé à enquêter et trouvé de nombreuses bibliothèques de structures de données …
230 haskell 
7
Quelle est la réponse de Haskell à Node.js?
Je crois que la communauté Erlang n'est pas envieuse de Node.js car elle fait des E / S non bloquantes en natif et a des moyens de faire évoluer facilement les déploiements sur plus d'un processeur (quelque chose qui n'est même pas intégré dans Node.js). Plus de détails sur http://journal.dedasys.com/2010/04/29/erlang-vs-node-js …
2
Quand -XAllowAmbiguousTypes est-il approprié?
J'ai récemment posté une question sur syntactic-2.0 concernant la définition de share. J'ai eu ce travail dans 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 :<: sup, …
212 haskell  ghc 
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.