Запитання з тегом «ghc»

Поточна поведінка 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 

Цей фрагмент коду Haskell працює набагато повільніше -O, але -Oповинен бути небезпечним . Хто-небудь може сказати мені, що сталося? Якщо це важливо, це спроба вирішити цю проблему , і вона використовує двійковий пошук та постійне дерево сегментів: import Control.Monad import Data.Array data Node = Leaf Int -- value | Branch …

87 haskell  optimization  ghc  compiler-bug 

Під час компіляції моєї програми Haskell з цією -Wallопцією GHC скаржиться на випадки, що залишились без батьків, наприклад: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result Клас типу ToSElemне є моїм, він визначається HStringTemplate . Тепер я знаю, як це виправити (перемістити декларацію екземпляра в модуль, де оголошено результат), і я …

86 haskell  ghc  typeclass 

Дано : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Я хочу зробити Stringекземпляр Fooable: instance Fooable String where toFoo = FooString Потім GHC скаржиться: Illegal instance declaration for `Fooable String' (All instance types must …

85 haskell  ghc  typeclass  type-systems 

Я написав цей невеликий фрагмент Haskell, щоб зрозуміти, як GHC доводить, що для натуральних чисел можна парні парні лише вдвічі: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family Flip (x :: Parity) :: …

84 haskell  ghc  proof  haskell-platform  formal-verification 

Happstack Lite ломить мене, тому що він отримує blaze-html версію 0.5 і хоче версію 0.4. Кабал каже, що встановлені обидві версії 0.4.3.4 та 0.5.0.0. Я хочу видалити 0.5.0.0 і використовувати лише стару версію. Але у cabal немає команди "видалити", і коли я намагаюся ghc-pkg unregister --force blaze-html, ghc-pkgкаже, що моя …

82 haskell  ghc  cabal 

Коли я вивчаю Haskell, я бачу, що в реальному коді існує багато розширень мови . Як новачкові мені слід навчитися ними користуватися, чи я повинен уникати їх за всяку ціну? Я бачу, що це порушує сумісність із Haskell 98 і обмежує код лише GHC. Однак, якщо я переглядаю пакунки на …

78 haskell  ghc 

Мені сказали, що ви можете інтерпретувати файли Haskell (що, я припускаю, означає, що вони будуть працювати як Ruby / Python / Perl). Однак я не можу знайти опцію командного рядка на GHC для цього. Він завжди хоче скомпілювати мій файл. Подивився на GHCi також, але це завжди скидає мене на …

76 haskell  ghc  ghci  interpreted-language 

Чому GHCi дає неправильну відповідь нижче? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 Python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 ОНОВЛЕННЯ Я би реалізував функцію Haskell (^) наступним чином. powerXY :: Double -> Int -> Double powerXY x 0 = 1 powerXY x y | y < 0 = powerXY (1/x) (-y) …

12 haskell  floating-point  ghc  ghci 

Проблема Розглянемо наступну проблему дизайну в Haskell. У мене є простий, символічний EDSL, в якому я хочу висловити змінні та загальні вирази (багатоваріантні многочлени), такі як x^2 * y + 2*z + 1. Крім того, я хочу висловити певні символічні рівняння над виразами, скажімо x^2 + 1 = 1, так …

9 haskell  casting  type-conversion  ghc  typeclass