Haskell技术问询：如何为Data.Number.BigFloat定义Binary实例？

问题根源 #

你之前的实现错误在于忽略了BigFloat e的精度类型参数e：

• LongDouble是固定精度类型，decodeFloat/encodeFloat的整数对可以唯一还原它的值；
• 但BigFloat e的精度由类型参数e（如Prec500）决定，仅序列化decodeFloat返回的尾数和指数，会丢失精度上下文，反序列化时无法匹配原精度，导致值错误。
• 同时decodeFloat和encodeFloat对BigFloat的依赖Epsilon e约束，也要求实例必须带上该约束。

正确实现方案 #

方案1：基于Rational的精确序列化（推荐） #

利用Rational可以精确表示所有有理数的特性，将BigFloat转换为Rational序列化，反序列化时再转回对应精度的BigFloat：

import Data.Binary
import Data.BigFloat (BigFloat, Epsilon, toRational, fromRational)

instance Epsilon e => Binary (BigFloat e) where
    -- 序列化：将BigFloat转为精确Rational后存储
    put d = put (toRational d)
    -- 反序列化：读取Rational，转为对应精度的BigFloat
    get = fromRational <$> get

方案2：处理特殊值（如NaN、无穷大） #

如果需要支持非有限值的序列化，可扩展添加标签区分：

import Data.Binary
import Data.BigFloat (BigFloat, Epsilon, toRational, fromRational, isFinite, isNaN, isInfinite, signum)

instance Epsilon e => Binary (BigFloat e) where
    put d
        | isNaN d          = put (0 :: Int)  -- 标记NaN
        | isInfinite d     = put (1 :: Int) >> put (signum d)  -- 标记无穷大+符号
        | otherwise        = put (2 :: Int) >> put (toRational d)  -- 标记有限值
    get = do
        tag <- get :: Get Int
        case tag of
            0 -> return (read "NaN" :: BigFloat e)
            1 -> do s <- get; return (s * read "Infinity" :: BigFloat e)
            2 -> fromRational <$> get
            _ -> fail "Invalid BigFloat serialization tag"

为什么之前的实现失败 #

1. 精度丢失：原代码仅序列化尾数和指数，未保存e对应的精度信息，反序列化时只能使用当前上下文的精度类型，导致值被截断或不匹配。
2. 约束缺失：decodeFloat和encodeFloat对BigFloat的调用必须依赖Epsilon e约束，因此实例声明必须带上该约束。

内容的提问来源于stack exchange，提问作者Anon