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...
Donné : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Je veux créer Stringune instance de Fooable: instance Fooable String where toFoo = FooString GHC se plaint alors: Illegal instance declaration for `Fooable String' (All instance...
J'ai écrit ce petit morceau de Haskell pour comprendre comment GHC prouve que pour les nombres naturels, vous ne pouvez que diviser par deux les nombres pairs: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family...
Selon ma compréhension, les fonctions partielles sont des fonctions que nous obtenons en passant moins de paramètres à une fonction que prévu. Par exemple, si cela était directement valide en Python: >>> def add(x,y): ... return x+y ... >>> new_function = add(1) >>>...
Je travaille actuellement sur un interpréteur simple pour un langage de programmation et j'ai un type de données comme celui-ci: data Expr = Variable String | Number Int | Add [Expr] | Sub Expr Expr Et j'ai de nombreuses fonctions qui font des choses simples comme: -- Substitute a value for a...
J'ai rencontré un petit problème esthétique dans mon projet musical et cela me dérange depuis un certain temps. J'ai un type data Key = C | D | ...et je peux construire un à Scalepartir d'un Keyet d'un Mode. Le fait la Modedistinction entre, par exemple, une échelle majeure et une échelle mineure....
Dans le module, System.Infoje vois ces fonctions: os :: String arch :: String compilerName :: String compilerVersion :: Version Pourquoi n'y en a-t-il pas IO? Ils accèdent au système ... Je me trompe? Mon attente était quelque chose comme: os :: IO String arch :: IO String compilerName :: IO String...
Supposons que j'ai un paramètre qui existe uniquement pour le bénéfice du système de type, par exemple comme dans ce petit programme: {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> a -> Int -> Int)...
J'apprends les candidats de Haskell. Il me semble (je me trompe probablement) que la purefonction n'est pas vraiment nécessaire, par exemple: pure (+) <*> [1,2,3] <*> [3,4,5] peut être écrit comme (+) <$> [1,2,3] <*> [3,4,5] Quelqu'un peut-il expliquer les avantages de la...
Les propositions (P -> Q) -> Qet P \/ Qsont équivalentes. Existe-t-il un moyen de témoigner de cette équivalence à Haskell: from :: Either a b -> ((a -> b) -> b) from x = case x of Left a -> \f -> f a Right b -> \f -> b to :: ((a -> b) -> b) -> Either a b to =...
Cette question n'est pas subjective. Un verbe très spécifique est utilisé dans le livre référencé, et j'aimerais comprendre quelle est l'implication de cette formulation, car j'ai bien peur de mal comprendre quelque chose. De Learn You a Haskell , le paragraphe suivant est le troisième et dernier...
Cette question est une question théorique sur les fonctions Haskell qui peuvent prendre des arguments de tout type. Existe-t-il une différence entre la façon dont les fonctions et les signatures de type de a -> b -> a et c -> a -> c sont instanciés? Toute aide est
Il me semble que vous pouvez toujours passer des arguments de fonction plutôt que d'utiliser une classe de types. Par exemple, plutôt que de définir une classe de types d'égalité: class Eq a where (==) :: a -> a -> Bool Et son utilisation dans d'autres fonctions pour indiquer un argument de...
J'étudie actuellement Haskell et j'essaie de comprendre un projet qui utilise Haskell pour implémenter des algorithmes cryptographiques. Après avoir lu Learn You a Haskell for Great Good en ligne, je commence à comprendre le code de ce projet. Ensuite, j'ai constaté que je suis bloqué sur le code...
De nombreux types d'optiques ont une représentation van Laarhoven. Par exemple, un Lenstype Lens s t a b peut être représenté comme: Functor f => (a -> f b) -> s -> f t De même, a Traversal, peut être représenté de manière similaire, en échangeant la Functorcontrainte pour Applicative:...
Comme exercice, j'écris un analyseur pour Haskell à partir de zéro. En faisant le lexer, j'ai remarqué les règles suivantes sur le rapport Haskell 2010 : digit → ascDigit | uniDigit ascDigit → 0| 1| … | 9 uniDigit → tout octet de chiffre décimal Unicode → 0| 1| … | 7 hexit → chiffre | A| … | F| a|...
Dans mon projet Haskell quand je le stack runmontre, il montre ce qui suit, mais fonctionne toujours. Quel avertissement est-ce? Comment puis-je m'en débarrasser? Stack has not been tested with GHC versions above 8.6, and using 8.8.2, this may fail Stack has not been tested with Cabal versions...
Real World Haskell, chapitre 4, page 98 de l'impression demande si wordspeut être implémenté en utilisant des plis, et c'est aussi ma question: C'est possible? Sinon, pourquoi? Si c'est le cas, comment? J'ai trouvé ce qui suit, qui est basé sur l'idée que chaque non-espace doit être ajouté au...
Lors du calcul IO (IO ()), les deux (IO ())et ()est calculé, alors pourquoi main :: IO (IO ()) main = print <$> (print "Hello, World!") impression "Hello, World!" ne pas IO "Hello, World!" -- ?? "Hello,
J'ai un exercice où je dois définir un type pour représenter une liste avec 0 à 5 valeurs. J'ai d'abord pensé que je pouvais résoudre ce problème récursivement comme ceci: data List a = Nil | Content a (List a) Mais je ne pense pas que ce soit la bonne approche. Pouvez-vous, s'il vous plaît, me...