La programmation haskell

5

Existe-t-il des noms prononçables pour les opérateurs Haskell courants? [fermé]

Fermé . Cette question est basée sur l'opinion . Il n'accepte pas actuellement les réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin d'y répondre avec des faits et des citations en modifiant ce message . Fermé il y a 2 ans . Améliorez cette question Je lis …

204 haskell operators

3

Haskell: Conversion d'Int en chaîne

Je sais que vous pouvez convertir un Stringnombre en read: Prelude> read "3" :: Int 3 Prelude> read "3" :: Double 3.0 Mais comment saisir la Stringreprésentation d'une Intvaleur?

198 string haskell int casting

4

Lecture de GHC Core

Core est le langage intermédiaire de GHC. Reading Core peut vous aider à mieux comprendre les performances de votre programme. Quelqu'un m'a demandé de la documentation ou des tutoriels sur la lecture de Core, mais je n'ai pas trouvé grand-chose. Quelle documentation est disponible pour lire GHC Core? Voici ce …

193 performance compiler-construction haskell ghc

1

Différence entre `data` et` newtype` dans Haskell

Quelle est la différence lorsque j'écris ceci? data Book = Book Int Int contre newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically invalid

191 haskell types type-systems newtype

3

Quelles optimisations le GHC peut-il espérer effectuer de manière fiable?

GHC a beaucoup d'optimisations qu'il peut effectuer, mais je ne sais pas ce qu'ils sont tous, ni quelle est la probabilité qu'ils soient exécutés et dans quelles circonstances. Ma question est la suivante: à quelles transformations puis-je m'attendre à ce qu'elle s'applique à chaque fois, ou presque? Si je regarde …

183 optimization haskell ghc

1

lentilles, fclabels, data-accessor - quelle bibliothèque pour l'accès à la structure et la mutation est la meilleure

Il existe au moins trois bibliothèques populaires pour accéder et manipuler des champs d'enregistrements. Ceux que je connais sont: un accesseur de données, des fclabels et des lentilles. Personnellement, j'ai commencé avec data-accessor et je les utilise maintenant. Cependant, récemment, sur haskell-cafe, il y avait une opinion selon laquelle les …

173 data-structures haskell record lenses

8

Pourquoi les effets secondaires sont-ils modélisés comme des monades dans Haskell?

Quelqu'un pourrait-il expliquer pourquoi les calculs impurs dans Haskell sont modélisés comme des monades? Je veux dire que la monade est juste une interface avec 4 opérations, alors quel était le raisonnement pour modéliser les effets secondaires?

172 haskell functional-programming monads

6

Quelle est la différence entre Int et Integer?

Dans Haskell, quelle est la différence entre un Intet un Integer? Où la réponse est-elle documentée?

169 haskell numbers integer int bignum

13

Comment diviser une chaîne dans Haskell?

Existe-t-il un moyen standard de fractionner une chaîne dans Haskell? lineset wordsfonctionne très bien en fractionnant sur un espace ou une nouvelle ligne, mais il existe sûrement un moyen standard de fractionner sur une virgule? Je n'ai pas pu le trouver sur Hoogle. Pour être précis, je cherche quelque chose …

163 string haskell

4

Pourquoi ne pas être typé de manière dépendante?

J'ai vu plusieurs sources faire écho à l'opinion selon laquelle "Haskell est en train de devenir progressivement une langue typée de manière dépendante". L'implication semble être qu'avec de plus en plus d'extensions de langage, Haskell dérive dans cette direction générale, mais n'y est pas encore. Il y a essentiellement deux …

161 haskell type-systems dependent-type

1

Quel est le statut de la programmation multicœur dans Haskell?

Quel est le statut de la programmation multicœur dans Haskell? Quels projets, outils et bibliothèques sont actuellement disponibles? Quels rapports d'expérience y a-t-il?

161 haskell concurrency functional-programming multicore parallel-processing

7

Comment définir une fonction dans ghci sur plusieurs lignes?

J'essaie de définir n'importe quelle fonction simple qui s'étend sur plusieurs lignes dans ghci, prenons l'exemple suivant: let abs n | n >= 0 = n | otherwise = -n Jusqu'à présent, j'ai essayé d'appuyer sur Entrée après la première ligne: Prelude> let abs n | n >= 0 = …

161 haskell ghci

3

Quelle est la différence entre les traits dans Rust et les classes de types dans Haskell?

Les traits de Rust semblent au moins superficiellement similaires aux classes de types de Haskell, mais j'ai vu des gens écrire qu'il y avait des différences entre eux. Je me demandais exactement quelles étaient ces différences.

157 haskell rust traits

1

Spécialisation avec contraintes

J'ai des problèmes pour que GHC spécialise une fonction avec une contrainte de classe. J'ai ici un exemple minimal de mon problème: Foo.hs et Main.hs . Les deux fichiers se compilent (GHC 7.6.2, ghc -O3 Main) et s'exécutent. REMARQUE: Foo.hs est vraiment dépouillé. Si vous voulez voir pourquoi la contrainte …

156 haskell ghc

2

Applications réelles des prépromorphismes zygohistomorphes

Oui, ceux-ci : {-#LANGUAGE TypeOperators, RankNTypes #-} import Control.Morphism.Zygo import Control.Morphism.Prepro import Control.Morphism.Histo import Control.Functor.Algebra import Control.Functor.Extras import Control.Functor.Fix import Control.Comonad.Cofree zygohistomorphic_prepromorphism :: Functor f => Algebra f b -> GAlgebra f (ZygoT (Cofree f) b) a -> (f :~> f) -> FixF f -> a zygohistomorphic_prepromorphism f = g_prepro …

156 haskell functional-programming category-theory

Questions marquées «haskell»