Questions marquées «ghc»

Glasgow Haskell Compiler est un compilateur open source à la pointe de la technologie et un environnement interactif pour le langage fonctionnel Haskell. Utilisez cette balise pour les questions spécifiquement sur GHC et non sur Haskell en général, car presque tout le monde l'utilisera, sauf indication contraire.

Existe-t-il un moyen de faire en sorte que GHC fournisse les contraintes de classe de type des trous typés?

Comportement actuel Prelude> show _ <interactive>:7:6: Found hole ‘_’ with type: a0 Where: ‘a0’ is an ambiguous type variable Relevant bindings include it :: String (bound at <interactive>:7:1) In the first argument of ‘show’, namely ‘_’ In the expression: show _ In an equation for ‘it’: it = show _ …

103 haskell types ghc

Pourquoi ce code Haskell s'exécute-t-il plus lentement avec -O?

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: import Control.Monad …

88 haskell optimization ghc compiler-bug

Instances orphelines dans Haskell

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 résoudre ce problème (déplacez la déclaration …

86 haskell ghc typeclass

Pourquoi ne puis-je pas faire de String une instance d'une classe de types?

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 …

85 haskell ghc typeclass type-systems

Comment lire cette «preuve» du GHC Core?

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 …

84 haskell ghc proof haskell-platform formal-verification

Comportement étrange de (^) à Haskell

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. powerXY :: Double -> Int -> Double powerXY x 0 = 1 powerXY x y | y < 0 = …

12 haskell floating-point ghc ghci

Cast implicite et statique (coercition) dans Haskell

Problème Considérez le problème de conception suivant dans Haskell. J'ai un EDSL simple et symbolique dans lequel je veux exprimer des variables et des expressions générales (polynômes multivariés) comme x^2 * y + 2*z + 1. De plus, je veux exprimer certaines équations symboliques sur des expressions, disons x^2 + …

9 haskell casting type-conversion ghc typeclass

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.