Je suis nouveau sur Haskell et après avoir commencé, ghcij'ai essayé: f x = 2 * x et j'ai obtenu: <interactive>:1:4: parse error on input `=' ce que je ne comprends pas. Étrangement, cela fonctionnait bien avant. Je suppose que j'ai fait Haskell mal configuré. La réinstallation de ghc6 ne...
Les applicatifs composent, les monades non. Que signifie la déclaration ci-dessus? Et quand l'un est-il préférable à
Je ne maîtrise pas vraiment Haskell, c'est peut-être une question très simple. Quelles sont les limitations linguistiques résolues par Rank2Types ? Les fonctions dans Haskell ne prennent-elles pas déjà en charge les arguments
Dans l'état actuel des choses, cette question ne convient pas à notre format de questions-réponses. Nous nous attendons à ce que les réponses soient étayées par des faits, des références ou une expertise, mais cette question suscitera probablement un débat, des arguments, un sondage ou une...
Fermé . Cette question est basée sur l'opinion . Il n'accepte pas les réponses actuellement. Vous souhaitez améliorer cette question? Mettez à jour la question afin de pouvoir y répondre avec des faits et des citations en éditant ce message . Fermé il y a 2 ans . Améliorez cette question Comment...
Y a-t-il une bonne raison pour laquelle le type de Prelude.read est read :: Read a => String -> a plutôt que de renvoyer une Maybevaleur? read :: Read a => String -> Maybe a Puisque la chaîne pourrait ne pas être analysable Haskell, cette dernière ne serait-elle pas plus naturelle? Ou...
Dans le chapitre 19 de Real World Haskell, de nombreux exemples échouent désormais en raison du changement de Control.Exception. Cela me fait penser que certains éléments de ce livre sont peut-être obsolètes et ne valent plus la peine d'être étudiés, après tout cela fait 6 ans. Ma seule autre...
Je ne comprends pas pourquoi m1 est apparemment mémorisé alors que m2 n'est pas dans ce qui suit: m1 = ((filter odd [1..]) !!) m2 n = ((filter odd [1..]) !! n) m1 10000000 prend environ 1,5 seconde sur le premier appel, et une fraction de cela sur les appels suivants (vraisemblablement il met en...
Fermé. Cette question ne respecte pas les directives de Stack Overflow . Il n'accepte pas les réponses actuellement. Vous souhaitez améliorer cette question? Mettez à jour la question pour qu'elle soit pertinente pour Stack Overflow. Fermé il y a 4 ans . Améliorez cette question Il y a beaucoup...
XRankNTypesJ'essaye d'activer dans GHCi. Comment puis-je faire
J'ai récemment découvert que les trous de type combinés à la correspondance de motifs sur les épreuves offrent une expérience assez agréable de type Agda dans Haskell. Par exemple: {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, UndecidableInstances, GADTs, TypeOperators #-} data (==) :: k -> k...
Hier, j'ai découvert un nouvel outil Haskell appelé Stack . À première vue, on dirait qu'il fait à peu près le même travail que Cabal. Alors, quelle est la différence entre eux? La pile remplace-t-elle Cabal? Dans quels cas dois-je utiliser Stack au lieu de Cabal? Que peut faire Stack que Cabal ne...
Quelle est la classe de types Comonad dans Haskell? Comme dans Comonad de Control.Comonad dans le paquet comonad (les explications de tout autre paquet qui fournit une classe de type Comonad sont également les bienvenues). J'ai vaguement entendu parler de Comonad, mais tout ce que je sais vraiment,...
Dans l'état actuel des choses, cette question ne convient pas à notre format de questions-réponses. Nous nous attendons à ce que les réponses soient étayées par des faits, des références ou une expertise, mais cette question suscitera probablement un débat, des arguments, un sondage ou une...
En résolvant certains problèmes du projet Euler pour apprendre Haskell (je suis donc actuellement complètement débutant), je suis tombé sur le problème 12 . J'ai écrit cette solution (naïve): --Get Number of Divisors of n numDivs :: Integer -> Integer numDivs n = toInteger $ length [ x |...
Les types de données algébriques (ADT) dans Haskell peuvent automatiquement devenir des instances de certaines classes de types (commeShow,Eq) en dérivant d'eux. data Maybe a = Nothing | Just a deriving (Eq, Ord) Ma question est la suivante: comment cela derivingfonctionne-t-il, c'est-à-dire...
La sécurité des types de Haskell est inégalée uniquement par rapport aux langages à typage dépendant. Mais il y a une magie profonde en cours avec Text.Printf qui semble plutôt insensée . > printf "%d\n" 3 3 > printf "%s %f %d" "foo" 3.3 3 foo 3.3 3 Quelle est la magie profonde derrière tout...
J'ai trois fonctions qui trouvent le nième élément d'une liste: nthElement :: [a] -> Int -> Maybe a nthElement [] a = Nothing nthElement (x:xs) a | a <= 0 = Nothing | a == 1 = Just x | a > 1 = nthElement xs (a-1) nthElementIf :: [a] -> Int -> Maybe a nthElementIf [] a = Nothing...
Fermé . Cette question doit être plus ciblée . Il n'accepte pas les réponses actuellement. Vous souhaitez améliorer cette question? Mettez à jour la question pour qu'elle se concentre sur un problème uniquement en éditant ce message . Fermé il y a 5 ans . Améliorez cette question Les langages...
Comportement actuel Prelude> show _ <interactive>:7:6: Found hole ‘_’ with type: a0 Where: ‘a0’ is an ambiguous type variable Relevant bindings include it :: String (bound at <interactive>:7:1) In the first argument of ‘show’, namely ‘_’ In the expression: show _ In an equation for...