Je me promenais dans la section restreinte de la bibliothèque Haskell et j'ai trouvé ces deux sorts ignobles: {- System.IO.Unsafe -} unsafeDupablePerformIO :: IO a -> a unsafeDupablePerformIO (IO m) = case runRW# m of (# _, a #) -> a {- Data.ByteString.Internal -} accursedUnutterablePerformIO...
Tout comme le titre l'indique: quelles garanties existe-t-il pour qu'une unité de retour de fonction Haskell soit évaluée? On pourrait penser qu'il n'est pas nécessaire d'exécuter une sorte d'évaluation dans un tel cas, le compilateur pourrait remplacer tous ces appels par une ()valeur immédiate à...
En ghci, quand je tape :t (-) pour comprendre le type de (-), il retourne (-) :: Num a => a -> a -> a Cependant, lorsque j'écris, -1haskell renvoie un nombre, ce qui semble impliquer qu'il (-)est de type Num a => a -> a. Comment peut (-)apparemment avoir deux types...
Pourquoi GHCi donne-t-il une réponse incorrecte ci-dessous? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 Python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 MISE À JOUR J'implémenterais la fonction (^) de Haskell comme suit....
Voici le code que j'ai rencontré quelque part, mais je veux savoir comment cela fonctionne: findIndices :: (a -> Bool) -> [a] -> [Int] findIndices _ [] = [] findIndices pred xs = map fst (filter (pred . snd) (zip [0..] xs)) Sortie: findIndices (== 0) [1,2,0,3,0]==[2,4] , où predest...
La seasonfonction utilise des fonctions algébriques mais j'ai l'impression que le code est répétitif. Comment le rendre aussi court que possible? data Month = Jan | Feb | Mar | Apr | May | June | July | Aug | Sept| Oct | Nov | Dec deriving (Eq,Ord,Show,Read) data Seasons = Spring | Summer | Autumn...
J'écris un package de dessin avec certaines parties et j'ai des opérateurs et des types de données dispersés. Cependant, je ne veux pas que les utilisateurs ajoutent les modules correspondants à chaque fois, car ce serait assez compliqué, par exemple, j'aurais une Pointclasse, un Monoidrôle et une...
J'ai un type Id aet j'essaie d'empêcher toute contrainte accidentelle, par exemple, un Id Doubleà un Id Int. Si je comprends bien les rôles de type, les éléments suivants ne doivent pas être compilés. {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type role Id nominal newtype Id a =...
En tant qu'État, la monade peut être factorisée en produit (gauche - fonction) et lecteur (droite - représentable). Existe-t-il un moyen de factoriser la Monade de Continuation? Ci-dessous le code est ma tentative, qui ne vérifiera pas le type -- To form a -> (a -> k) -> k {-# LANGUAGE...
type BSTree a = BinaryTree a data BinaryTree a = Null | Node (BinaryTree a) a (BinaryTree a) deriving Show flattenTree :: BinaryTree a -> [a] flattenTree tree = case tree of Null -> [] Node left val right -> (flattenTree left) ++ [val] ++ (flattenTree right) isBSTree :: (Ord a) =>...
Je traite actuellement une fonction qui va comme ceci: foo = (\(a:b:c:d:e:f:_) -> foobar a b c d e f) . (++ repeat def) En d'autres termes, étant donné une liste, il utilise les six premiers éléments pour quelque chose, et si la liste est inférieure à six éléments, il utilise defcomme remplaçant...
Il y a 3 fonctions données ci-dessous qui trouvent le dernier mais le deuxième élément d'une liste. Celui qui utilise last . initsemble beaucoup plus rapide que les autres. Je n'arrive pas à comprendre pourquoi. Pour les tests, j'ai utilisé une liste d'entrée de [1..100000000](100 millions). Le...
Récemment, j'ai commencé à apprendre Haskell parce que je voulais élargir mes connaissances sur la programmation fonctionnelle et je dois dire que je l'aime vraiment jusqu'à présent. La ressource que j'utilise actuellement est le cours «Haskell Fundamentals Part 1» sur Pluralsight. Malheureusement,...
Un beau fait vrai sur la concaténation est que si je connais deux variables dans l'équation: a ++ b = c Alors je connais le troisième. Je voudrais capturer cette idée dans mon propre concat donc j'utilise une dépendance fonctionnelle. {-# Language DataKinds, GADTs, FlexibleContexts,...
J'ai récemment rencontré des situations où je dois passer une fonction de prédicat à une autre fonction, et bien souvent la logique que je recherche est essentiellement "cette valeur correspond-elle à ce modèle?" La correspondance de modèle semble être préférée dans les déclarations, les doblocs et...
Je vois un comportement très étrange où la bracketfonction de Haskell se comporte différemment selon qu'elle est utilisée stack runou non stack test. Considérez le code suivant, où deux crochets imbriqués sont utilisés pour créer et nettoyer les conteneurs Docker: module Main where import...
Avec des contraintes quantifiées, je peux dériver Eq (A f)très bien? Cependant, lorsque j'essaie de dériver Ord (A f), cela échoue. Je ne comprends pas comment utiliser des contraintes quantifiées lorsque la classe de contraintes a une superclasse. Comment puis-je dériver Ord (A f)et d'autres...
J'essaie de comprendre les types existentiels dans Haskell et je suis tombé sur un PDF http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Veuillez corriger mes compréhensions ci-dessous que j'ai jusqu'à présent. Les types existentiels ne semblent pas être intéressés par le type...
J'essaie de créer une fonction F # qui renverra la somme d'une liste de ints d'imbrication arbitraire. C'est à dire. cela fonctionnera pour a list<int>, a list<list<int>>et a list<list<list<list<list<list<int>>>>>>. En Haskell, j'écrirais...
J'apprends Haskell et je faisais un programme de base de données simple pour Yesod quand je suis tombé sur ce comportement que j'ai du mal à comprendre: testFn :: Int -> Bool -> [Int] testFn a b = if b then replicate 10 a else [] Session Yesod GHCI: $ :t concatMap testFn [3] concatMap testFn...