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.

Quelle est l'hypothèse formulée dans «Learn You a Haskell» lors de la déduction du genre?

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 contenant "nous supposons …

18 haskell

Existe-t-il un moyen de réaliser une fonction de type ((a -> b) -> b) -> Soit ab?

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 -> …

18 haskell logic

Haskell: Typeclass vs passer une fonction

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 …

16 haskell functional-programming higher-order-functions

Y a-t-il une différence entre les signatures de type a -> b -> a et c -> a -> c?

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 appréciée.

16 haskell functional-programming

Outre as-pattern, que signifie @ à Haskell?

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 suivant avec …

15 haskell symbols operator-keyword as-pattern

Un analyseur Haskell doit-il autoriser les chiffres Unicode dans les littéraux numériques?

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| …

15 haskell syntax language-lawyer literals

Y a-t-il une représentation de Van Laarhoven de «Facultatif»

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: …

15 scala haskell functional-programming lenses monocle-scala

La pile n'a pas été testée avec les versions GHC et Cabal

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 above 2.4, …

14 haskell cabal haskell-stack

L'implémentation de cette fonction de mots est-elle possible sans étape de post-traitement après le pliage?

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 dernier …

14 haskell functional-programming fold

type pour représenter une liste avec 0 à 5 valeurs

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 …

14 haskell

Pourquoi «imprimer <$> (imprimer« bonjour »)« imprimer «bonjour»?

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, World!"

14 haskell

Quelle est la différence entre unsafeDupablePerformIO et accursedUnutterablePerformIO?

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 :: IO a -> a …

13 haskell io unsafe unsafe-perform-io

Comment (-) peut-il avoir apparemment deux types différents?

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 …

12 haskell

Comment rendre ma fonction Haskell aussi courte que possible?

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 …

12 haskell algebraic-data-types

Combiner des fragments du code Haskell pour obtenir une vue d'ensemble

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 …

12 haskell composition higher-order-functions function-composition pointfree

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.