Si les langages de programmation fonctionnelle ne peuvent enregistrer aucun état, comment font-ils des choses simples comme lire l'entrée d'un utilisateur? Comment «stockent-ils» l'entrée (ou stockent-ils des données d'ailleurs?) Par exemple: comment cette simple chose C se traduirait-elle en un...
Hackage propose plusieurs packages pour les transformateurs monades: mtl : bibliothèque de transformateurs Monad transformateurs : foncteur béton et transformateurs monades monads-fd : classes Monad, utilisant des dépendances fonctionnelles monads-tf : classes Monad, utilisant des familles de...
En regardant à travers le Haskell Prelude, je vois une fonction const : const x _ = x Je n'arrive pas à trouver quoi que ce soit de pertinent concernant cette fonction. À quoi ça sert? Quelqu'un peut-il donner un exemple où cette fonction pourrait être utilisée?
Je travaille sur Écrivez-vous un schéma en 48 heures (je suis jusqu'à environ 85 heures) et je suis arrivé à la partie sur l' ajout de variables et d'affectations . Il y a un grand saut conceptuel dans ce chapitre, et j'aurais aimé que cela ait été fait en deux étapes avec une bonne...
Quelqu'un peut-il me dire pourquoi le Haskell Prelude définit deux fonctions distinctes pour l'exponentiation (c'est ^-à- dire et **)? Je pensais que le système de typage était censé éliminer ce genre de duplication. Prelude> 2^2 4 Prelude> 4**0.5 2.0
En lisant https://en.uncyclopedia.co/wiki/Haskell (et en ignorant tous les trucs "offensants"), je suis tombé sur le morceau de code obscurci suivant: fix$(<$>)<$>(:)<*>((<$>((:[{- thor's mother -}])<$>))(=<<)<$>(*)<$>(*2))$1 Lorsque j'exécute ce...
Un exercice de programmation classique consiste à écrire un interpréteur Lisp / Scheme en Lisp / Scheme. La puissance de la langue complète peut être mise à profit pour produire un interprète pour un sous-ensemble de la langue. Existe-t-il un exercice similaire pour Haskell? Je voudrais...
Nous savons tous (ou devrions savoir) que Haskell est paresseux par défaut. Rien n'est évalué tant qu'il n'a pas été évalué. Alors, quand faut-il évaluer quelque chose? Il y a des points où Haskell doit être strict. J'appelle ces «points de rigueur», bien que ce terme particulier ne soit pas aussi...
Dans mon récent travail avec Gibbs sampling, j'ai beaucoup utilisé le RVarqui, à mon avis, fournit une interface presque idéale pour la génération de nombres aléatoires. Malheureusement, je n'ai pas pu utiliser Repa en raison de l'incapacité d'utiliser des actions monadiques dans les cartes. Bien...
J'essaie de visualiser quelques systèmes physiques automatiques simples (tels que le pendule, les bras de robot, etc.) dans Haskell. Souvent, ces systèmes peuvent être décrits par des équations comme df/dt = c*f(t) + u(t) où u(t)représente une sorte de «contrôle intelligent». Ces systèmes semblent...
J'ai généralement entendu dire que le code de production devrait éviter d'utiliser Lazy I / O. Ma question est: pourquoi? Est-il toujours acceptable d'utiliser la Lazy I / O en dehors de simplement jouer? Et qu'est-ce qui améliore les alternatives (par exemple les agents recenseurs)?...
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 Je...
J'ai découvert la commande "time" sous Unix aujourd'hui et j'ai pensé l'utiliser pour vérifier la différence de temps d'exécution entre les fonctions récursives de queue et récursives normales dans Haskell. J'ai écrit les fonctions suivantes: --tail recursive fac :: (Integral a) => a -> a...
Ce morceau de code Haskell fonctionne beaucoup plus lentement avec -O, mais -One devrait pas être dangereux . Quelqu'un peut-il me dire ce qui s'est passé? Si cela compte, c'est une tentative de résoudre ce problème , et il utilise la recherche binaire et l'arborescence de segments persistants:...
J'étais un peu confus par la documentation de fix(même si je pense comprendre ce qu'il est censé faire maintenant), alors j'ai regardé le code source. Cela m'a laissé plus confus: fix :: (a -> a) -> a fix f = let x = f x in x Comment cela renvoie-t-il exactement un point fixe? J'ai décidé de...
J'ai récemment terminé un cours universitaire qui présentait Haskell et Agda (un langage de programmation fonctionnel typé dépendant), et je me demandais s'il était possible de remplacer le calcul lambda dans ces derniers par la logique combinatoire. Avec Haskell, cela semble possible en utilisant...
Je fais du développement en F # depuis un moment et j'aime ça. Cependant, un mot à la mode dont je sais qu'il n'existe pas en F # est celui des types de type supérieur. J'ai lu de la documentation sur les types plus élevés et je pense comprendre leur définition. Je ne sais tout simplement pas...
J'essaie de comprendre ce que fait l'opérateur point dans ce code Haskell: sumEuler = sum . (map euler) . mkList Le code source complet est ci-dessous. Ma compréhension L'opérateur point prend les deux fonctions sumet le résultat de map euleret le résultat de mkListcomme entrée. Mais, sumn'est-ce...
Lors de la compilation de mon application Haskell avec l' -Walloption, GHC se plaint des instances orphelines, par exemple: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result La classe de type ToSElemn'est pas la mienne, elle est définie par HStringTemplate . Maintenant, je sais...
Comment puis-je obtenir esqueleto pour générer une chaîne SQL à partir d'une frominstruction? La documentation de toRawSqldit que "vous pouvez simplement activer la journalisation des requêtes de persistant". J'ai essayé toutes les formes possibles MonadLoggerque je pouvais comprendre, mais cela...