141592653's questions

我找不到此行为的文档，它看起来像是一个错误（[编辑] 确实是：gitlab.haskell.org/ghc/ghc /-/issues/10387）。我遗漏了什么吗？

在 GHCi 中：

    > import GHC.Real
    > inf = 1/O :: Double

    > inf
    Infinity

    > infinity
    1 % 0

    > fromRational infinity
    Infinity

    > toRational inf
    179769313486231590... % 1
    
    > toRational inf == infinity 
    False

[编辑 ： ]

有一个解决方法。使用包ieee754，可以定义以下内容：

import GHC.Real
import qualified Numeric.IEEE as IEEE

toRational' :: (IEEE.IEEE a, Real a) => a -> Rational
toRational' a
  | a == IEEE.infinity = infinity
  | a == -IEEE.infinity = -infinity
  | otherwise = toRational a

在 GHCi 中运行以下命令会在 上抛出错误，stuff' 4但在 上不会抛出错误stuff 4。为什么？

有办法修复吗？我想使用MkStuff'而不是MkStuff。

ghci> 
:{
class MkStuff s m | m -> s where
  stuff:: s -> m ()

instance MkStuff Int IO where
  stuff = print

class MkStuff' s m | m -> s where
  stuff' :: s -> m

instance MkStuff' Int (IO ()) where
  stuff' = print
:}

ghci> stuff 4
4
ghci> stuff' 4

<interactive>:16:1: error: [GHC-39999]
    • No instance for ‘MkStuff' Integer ()’ arising from a use of ‘it’
    • In the first argument of ‘print’, namely ‘it’   
      In a stmt of an interactive GHCi command: print it