Questions sur haskell

30
réponses

Qu'est ce qu'une monade?

après avoir brièvement regardé Haskell récemment, qu'est-ce que serait une explication brève, succincte, pratique q ... trouvé que la plupart des explications que j'ai trouvées sont assez inaccessibles et manquent de détails pratiques.
demandé sur 2008-09-05 03:26:44
15
réponses

Pour commencer avec Haskell

pendant quelques jours, j'ai essayé de me concentrer sur le paradigme de la programmation fonctionnelle à Haskell. J'a ... Haskell? Qu'est-ce qui vous a vraiment fait "briser la glace"? Aussi, de bonnes idées pour commencer les exercices?
demandé sur 2009-06-18 17:17:11
1
réponses

Transitivité de L'Auto-spécialisation en GHC

à Partir de les docs pour GHC 7.6: [vous]souvent n'avez même pas besoin de la spécialisation pra ... Les docs pour 7.8.2 n'ont pas changé, et le comportement est le même, donc cette question est toujours d'actualité.
demandé sur 2014-02-01 23:13:13
15
réponses

La programmation GUI fonctionnelle est-elle possible? [fermé]

j'ai récemment attrapé le bug FP (essayer d'apprendre Haskell), et j'ai été vraiment impressionné par ce que j'ai vu j ... te par curiosité--j'aimerais penser que FP est "le futur", mais GUI programmation on dirait un gros trou à combler.)
demandé sur 2010-04-20 09:35:31
7
réponses

Bon Haskell source pour lire et apprendre à partir de [fermé]

Quels sont certains des programmes open source qui utilisent Haskell et peut être considéré comme de bonne qualité, ... nt les monades interagissent quand vous avez beaucoup de choses en cours (journalisation, E/S, configuration, etc.).
demandé sur 2011-06-19 01:27:14
7
réponses

Pourquoi avons-nous besoin de monades?

à mon humble avis, les réponses à la célèbre question " Qu'est-ce qu'une monade?" , en particulier les plus votées, ... t pourquoi les monades sont vraiment nécessaires . Peuvent-ils être expliqués comme la solution à un problème?
demandé sur 2015-01-25 20:27:34
1
réponses

Techniques de traçage des contraintes

voici le scénario: j'ai écrit un code avec une signature de type et GHC se plaint ne pouvait pas déduire x ~ y pour ce ... re dans un trou infini de lapin de contraintes et est à propos de la méthode la moins efficace que je peux imaginer.
demandé sur 2014-05-03 22:11:42
8
réponses

Que fait le mot clé` forall ' dans Haskell/GHC?

je commence à comprendre comment le mot-clé forall est utilisé dans les soi-disant "types existentiels" comme ceci: ... point que forall ne me laisse pas avec un faible sentiment de crainte quand je le vois dans une signature de type.
demandé sur 2010-06-18 19:50:00
6
réponses

Haskell: Qu'est-ce que la forme normale de la tête faible?

que signifie tête faible, Forme Normale (WHNF)? Que signifie Tête Forme Normale (HNF) et Forme Normale (NF)? ... (\(acc, len) x -> acc `seq` len `seq` (acc+x, len+1)) (0,0) - Haskell Wiki on Stackoverflow
demandé sur 2011-07-29 16:13:48
4
réponses

Comparaison des cadres Web Snap et Yesod D'Haskell

les deux cadres de Haskell Web dans les nouvelles récemment sont Yesod (à 0.8) et Snap (à 0.4). il est as ... ar exemple, ne ressemble pas au support de base de données est y. Comment sur les sessions? Autres caractéristiques?
demandé sur 2011-04-13 10:17:25
2
réponses

Quand les types-XAllowAmbiguousTypes sont-ils appropriés?

j'ai récemment posté une question sur syntactic-2.0 concernant la définition de share . J'ai eu ce travail dans ... Puisque share est une application de sugarSym , les contraintes share viennent toutes directement de sugarSym .
demandé sur 2014-05-15 21:27:08
7
réponses

Quelle est la réponse de Haskell au noeud.js?

je crois que la communauté D'Erlang n'est pas envieuse de Node.js comme il le fait non-blocage I/S en mode natif et a ... ôté serveur et le côté client pourrait être utile dans la pratique.) Tout cela emballé dans un seul produit.
demandé sur 2010-10-02 22:53:01
5
réponses

Y a-t-il des noms prononçables pour les opérateurs Haskell? [fermé]

je lis apprenez un Haskell pour le bien 151980920" , et je ne sais jamais comment prononcer les opérateurs Haskell. ... m'attends à ce que les noms communs (par exemple ceux définis dans Applicative ou Monad ) doivent avoir des noms...
demandé sur 2011-10-13 01:35:27
4
réponses

Lecture de GHC Core

Core est la langue intermédiaire de GHC. Lecture de Base peut vous aider à mieux comprendre les performances de votre ... RWH: Chapitre 25. Profilage et optimisation Haute Performance Haskell parler à CUFP (diapo 65-80)
demandé sur 2011-05-25 11:46:37
1
réponses

Quel est le statut de la programmation multicore à Haskell?

Quel est l'état de la programmation multicœur en Haskell? Quels projets, outils et bibliothèques sont maintenant disponibles? Quels rapports d'expérience y a-t-il eu?
demandé sur 2010-06-17 20:39:24
8
réponses

Pourquoi les effets secondaires sont-ils modélisés comme des monades à Haskell?

est-ce que quelqu'un pourrait donner quelques conseils sur les raisons pour lesquelles les calculs impurs à Haskell so ... te une interface avec 4 opérations, alors quel était le raisonnement pour modéliser les effets secondaires en elle?
demandé sur 2010-03-21 23:47:28
1
réponses

Spécialisation avec contraintes

J'ai du mal à convaincre GHC de se spécialiser dans une fonction avec une contrainte de classe. J'ai un exemple minime ... mise à JOUR le problème persiste dans GHC 7.8.2, donc cette question est toujours pertinente.
demandé sur 2014-01-12 09:39:40
2
réponses

Applications réelles des prépromorphismes zygohistomorphiques

Oui, ceux-ci : {-#LANGUAGE TypeOperators, RankNTypes #-} import Control.Morphism.Zygo import Control.Morp ... Plaît noter également d'Edward réponse ci-dessous. L'implémentation de ZHPM que vous utilisez est votre choix.
demandé sur 2011-02-20 15:50:12
7
réponses

Les Implications de foldr vs foldl (ou foldl')

tout d'Abord, Real World Haskell , dont je suis la lecture, dit ne jamais utiliser de foldl et au lieu d'utili ... ils?) N'importe quelle perspicacité qui peut aider un smarts-contesté sorte comme moi serait très apprécié!
demandé sur 2008-12-21 21:53:15
4
réponses

Pourquoi y a-t-il "data" et "newtype" à Haskell? [dupliquer]

cette question a déjà une réponse ici: la Différence entre les "données" et "newt ... ? je suis sûr que je rate quelque chose, il doit y avoir quelque chose la raison plus profonde pour cette.
demandé sur 2010-04-16 02:03:11
4
réponses

Quels sont certains cas d'utilisation convaincants pour les types de méthodes dépendantes?

les types de méthode dépendants, qui étaient auparavant une caractéristique expérimentale, ont maintenant été activ ... ractéristiques trouvées dans les systèmes de type d'autres langages dactylographiés avancés tels que Haskell, OCaml?
demandé sur 2011-10-22 18:16:24
7
réponses

Composition de la fonction Haskell (.) et la fonction application ( $ ) idioms: utilisation correcte

j'ai lu Real World Haskell , et je suis presque à la fin, mais une question de style a été tatillonne à moi de f ... y a-t-il des bonnes pratiques ici que je ne reçois pas? Ou est-ce superflu et que je ne devrais pas m'en préoccuper?
demandé sur 2010-06-13 04:57:49
16
réponses

Guide des débutants à Haskell? [fermé]

je suis à la recherche d'un guide décent pour Haskell depuis un certain temps, mais je n'ai pas été en mesure de trouv ... astuces de programmation fonctionnelle, donc je pense que je ne suis pas complètement dans le noir. Tous les liens?
demandé sur 2008-08-20 00:44:48
2
réponses

Empreinte mémoire des types de données Haskell

Comment puis-je trouver la quantité réelle de mémoire nécessaire pour stocker une valeur d'un certain type de données ... ns GHCi pour voir mémoire de stats, mais il n'est pas clair comment estimer l'empreinte mémoire d'une valeur unique.
demandé sur 2010-07-15 14:39:03
3
réponses

Quelles sont les meilleures bibliothèques Haskell pour opérationnaliser un programme? [fermé]

si je dois mettre un programme en production, il y a plusieurs choses que j'ai besoin que ce programme fasse pour le c ... tils ou pratiques pour rendre le code Haskell "prêt à la production", j'aimerais en savoir plus sur ceux aussi bien.
demandé sur 2011-04-27 22:34:11
4
réponses

Haskell erreur parse error sur l'entrée `='

je suis nouveau à Haskell et après avoir commencé ghci j'ai essayé: f x = 2 * x et j'ai obtenu: ... ghc6 ne résout pas le problème. pour information, J'utilise Ubuntu 10.4 et la version de ghc6 est 6.12.1-12
demandé sur 2011-05-31 12:35:29
8
réponses

Haskell, Lisp et verbosity [fermé]

pour ceux d'entre vous qui ont expérimenté à la fois Haskell et une certaine saveur de Lisp, je suis curieux de voir c ... enter sur la façon dont les expériences diffèrent, ce que vous préférez, et si ladite préférence est situationnelle?
demandé sur 2008-12-25 13:58:42
2
réponses

Qu'est-ce que la classe Typeclass Comonad à Haskell?

Qu'est-ce que la classe de Typeclasse Comonad à Haskell? Comme dans Comonad du contrôle .Comonad dans le paquet como ... rn :: a -> m a de Monad . points Bonus pour noter les utilisations "réelles" de Comonad en code" réel".
demandé sur 2011-12-08 13:08:01
6
réponses

Comment puis-je utiliser la programmation fonctionnelle dans le monde réel? [fermé]

les langages fonctionnels sont bons parce qu'ils évitent les bugs en éliminant l'état, mais aussi parce qu'ils peuvent ... s-je commencer à utiliser Haskell d'une manière pratique, et vais-je vraiment voir certains avantages si je le fais?
demandé sur 2008-09-27 08:02:25
4
réponses

Flux de travail de test Haskell

je viens de démarrer un nouveau projet Haskell et je voulais mettre en place un bon workflow de test dès le début. Il ... a recherche d'une approche complète pour tester et je me demandais ce qui a bien fonctionné pour d'autres personnes.
demandé sur 2010-06-25 23:18:26