Вопросы с тегом «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 …

87 haskell  optimization  ghc  compiler-bug 

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

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 ломает меня, потому что он получает версию 0.5 blaze-html и ему нужна версия 0.4. Кабал говорит, что установлены обе версии 0.4.3.4 и 0.5.0.0. Я хочу удалить 0.5.0.0 и использовать только старую версию. Но у Кабала нет команды "удалить", и когда я пытаюсь ghc-pkg unregister --force blaze-html, ghc-pkgговорит , …

82 haskell  ghc  cabal 

Почему 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