Domande taggate «ghc»

Glasgow Haskell Compiler è un compilatore open source all'avanguardia e un ambiente interattivo per il linguaggio funzionale Haskell. Usa questo tag per domande specifiche su GHC e non su Haskell in generale poiché quasi tutti lo useranno se non diversamente specificato.

C'è un modo per fare in modo che GHC fornisca i vincoli della classe di tipo dei buchi tipizzati?

Comportamento attuale 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

Perché questo codice Haskell viene eseguito più lentamente con -O?

Questo pezzo di codice Haskell viene eseguito molto più lentamente -O, ma non -Odovrebbe essere pericoloso . Qualcuno può dirmi cosa è successo? Se è importante, è un tentativo di risolvere questo problema e utilizza la ricerca binaria e l'albero dei segmenti persistenti: import Control.Monad import Data.Array data Node = …

87 haskell optimization ghc compiler-bug

Istanze orfane a Haskell

Quando compilo la mia applicazione Haskell con l' -Wallopzione, GHC si lamenta delle istanze orfane, ad esempio: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result La classe del tipo ToSElemnon è mia, è definita da HStringTemplate . Ora so come risolvere questo problema (sposta la dichiarazione dell'istanza nel modulo in cui …

86 haskell ghc typeclass

Perché non posso rendere String un'istanza di una typeclass?

Dato : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Voglio fare Stringun'istanza di Fooable: instance Fooable String where toFoo = FooString GHC quindi si lamenta: Illegal instance declaration for `Fooable String' (All instance types …

85 haskell ghc typeclass type-systems

Come leggere questa "prova" di GHC Core?

Ho scritto questo piccolo pezzo di Haskell per capire come GHC dimostra che per i numeri naturali, puoi solo dimezzare quelli pari: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family Flip (x :: …

84 haskell ghc proof haskell-platform formal-verification

Strano comportamento di (^) in Haskell

Perché GHCi fornisce una risposta errata di seguito? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 AGGIORNAMENTO Vorrei implementare la funzione di Haskell (^) come segue. powerXY :: Double -> Int -> Double powerXY x 0 = 1 powerXY x y | y < 0 = …

12 haskell floating-point ghc ghci

Cast implicito e statico (coercizione) in Haskell

Problema Considera il seguente problema di progettazione in Haskell. Ho un semplice EDSL simbolico in cui voglio esprimere variabili ed espressioni generali (polinomi multivariati) come x^2 * y + 2*z + 1. Inoltre, voglio esprimere alcune equazioni simboliche sulle espressioni, per esempio x^2 + 1 = 1, così come le …

9 haskell casting type-conversion ghc typeclass

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.