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.

Interfaçage avec des structures et des unions anonymes avec c2hs

Comment encoder ce morceau de code C dans un fichier .chs afin que c2hs puisse le transformer en quelque chose de relativement sympa? typedef enum { MONOME_BUTTON_UP = 0x00, MONOME_BUTTON_DOWN = 0x01, MONOME_ENCODER_DELTA = 0x02, MONOME_ENCODER_KEY_UP = 0x03, MONOME_ENCODER_KEY_DOWN = 0x04, MONOME_TILT = 0x05, /* update this if you add …

100 haskell c2hs

Elm Compiler fonctionnant pour toujours, l'ordinateur devient chaud

Je ne suis pas sûr de la cause de ce problème, mais dans un projet que je construis, le compilateur prend des heures juste pour compiler un module. La taille totale de ma base de code est de 352 Ko, mais aucun des modules ne dépasse 10 Ko. J'utilise un …

100 haskell switch-statement pattern-matching elm

Le vérificateur de type autorise un remplacement de type très incorrect, et le programme compile toujours

En essayant de déboguer un problème dans mon programme (2 cercles avec un rayon égal sont dessinés à différentes tailles en utilisant Gloss *), je suis tombé sur une situation étrange. Dans mon fichier qui gère les objets, j'ai la définition suivante pour un Player: type Coord = (Float,Float) data …

99 haskell types

Quelqu'un peut-il expliquer la fonction de traversée dans Haskell?

J'essaye et je ne parviens pas à faire traversefonctionner la fonction Data.Traversable. Je ne peux pas voir son point. Puisque je viens d'un milieu impératif, quelqu'un peut-il me l'expliquer en termes de boucle impérative? Un pseudo-code serait très apprécié. Merci.

99 haskell traversal

Qu'est-ce que la monade indexée?

Qu'est-ce que la monade indexée et la motivation de cette monade? J'ai lu que cela aide à suivre les effets secondaires. Mais la signature de type et la documentation ne me mènent nulle part. Quel serait un exemple de la façon dont il peut aider à suivre les effets secondaires …

98 haskell monads

Comment puis-je obtenir le nième élément d'une liste?

Comment puis-je accéder à une liste par index en Haskell, analogue à ce code C? int a[] = { 34, 45, 56 }; return a[1];

97 haskell

À quoi sert la fonction absurde de Data.Void?

La absurdfonction dans Data.Voida la signature suivante, où Voidest le type logiquement inhabité exporté par ce package: -- | Since 'Void' values logically don't exist, this witnesses the logical -- reasoning tool of \"ex falso quodlibet\". absurd :: Void -> a Je connais assez de logique pour obtenir la remarque …

97 haskell type-theory curry-howard

Quel est l'intérêt de la carte dans Haskell, quand il y a fmap?

Partout où j'ai essayé d'utiliser map, fmapa également fonctionné. Pourquoi les créateurs de Haskell ont-ils ressenti le besoin d'une mapfonction? Ne pourrait-il pas être simplement ce qui est actuellement connu fmapet fmappourrait être supprimé de la langue?

97 haskell

Comment jouer avec Control.Monad.Writer dans haskell?

Je suis nouveau dans la programmation fonctionnelle et j'ai récemment appris à Learn You a Haskell , mais quand j'ai parcouru ce chapitre , je suis resté coincé avec le programme ci-dessous: import Control.Monad.Writer logNumber :: Int -> Writer [String] Int logNumber x = Writer (x, ["Got number: " ++ …

97 haskell monads

Que sont les paramorphismes?

En lisant cet article classique , je suis coincé sur les paramorphismes. Malheureusement, la section est assez mince et la page Wikipédia ne dit rien. Ma traduction Haskell est: para :: (a -> [a] -> b -> b) -> b -> [a] -> b para f base = h where …

96 haskell recursion functional-programming higher-order-functions

Module de courant d'exportation Haskell avec module importé supplémentaire

Est-il possible d'écrire un module en Haskell, qui réexporte un module en plus d'exporter tout ce qui est visible à l' intérieur? Considérons le module suivant: module Test where import A f x = x Ce module exporte tout ce qui est défini à l' intérieur, donc il exporte fmais …

96 haskell module export

Documentation hors ligne Haskell?

Quelles sont les possibilités, le cas échéant, d'obtenir des documents hors ligne pour les bibliothèques principales de Haskell (et peut-être plus)? Parfois, je prends mon ordinateur portable au café où il n'y a pas de wifi, et ce serait bien d'avoir quelque chose comme Hoogle mais pour une utilisation hors …

94 haskell offline-mode

Exceptions dans Yesod

J'avais créé un démon qui utilisait une forme très primitive de ipc(telnet et envoyer une chaîne contenant certains mots dans un certain ordre). Je m'en suis sorti et j'utilise maintenant JSONpour passer des messages à un Yesodserveur. Cependant, il y avait certaines choses que j'aimais vraiment dans mon design, et …

93 json haskell exception-handling yesod

Pourquoi ghci desugar type des listes et des familles de types? Cela peut-il être désactivé de manière sélective?

J'essaie de rendre les types d'affichage ghci pour mes bibliothèques aussi intuitifs que possible, mais je rencontre beaucoup de difficultés lors de l'utilisation de fonctionnalités de type plus avancées. Disons que j'ai ce code dans un fichier: {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE TypeOperators #-} import …

93 haskell types ghci

Ordre des paramètres pour utiliser le curry

J'ai récemment refacturé du code deux fois afin de changer l'ordre des paramètres car il y avait trop de code où les hacks aiment flipou \x -> foo bar x 42se produisaient. Lors de la conception d'une signature de fonction, quels principes m'aideront à tirer le meilleur parti du curry?

93 haskell functional-programming currying partial-application

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.