Haskell数字数组排序报错：No instance for (Fractional Nums) 求助

错误原因 #

你遇到的核心问题是类型不匹配：

• 你定义的sortNums函数接受[Nums]类型参数（自定义的Nums列表）
• 但你声明的arr是[Double]类型（浮点数列表）
• Haskell尝试把Double字面量（比如645.41）当作Nums类型使用，但你的Nums类型没有实现Fractional类型类，因此抛出"No instance for (Fractional Nums)"的错误

修复方案 #

方案一：将Double列表包装为Nums列表 #

只需用Nums构造器包裹arr里的每个元素，让它符合sortNums的参数类型要求：

import Data.List (sortBy)
import Data.Ord (comparing)

data Nums = Nums {numbers::Double} deriving(Ord, Eq, Show)
sortNums :: [Nums] -> [Nums]
sortNums = sortBy(comparing numbers)
-- 用map Nums把Double列表转为Nums列表
arr = map Nums [645.41, 37.59, 76.41, 5.31, 1.11, 1.10, 23.46, 635.47, 467.83, 62.25]
main:: IO ()
main = do
    print(sortNums arr)

方案二：直接对Double列表排序（更简洁） #

如果不需要自定义Nums类型，直接用Haskell内置排序函数处理[Double]即可，代码更简洁：

import Data.List (sort)

arr = [645.41, 37.59, 76.41, 5.31, 1.11, 1.10, 23.46, 635.47, 467.83, 62.25]
main:: IO ()
main = do
    print(sort arr)

若要保留sortBy和comparing的逻辑，可修改为：

import Data.List (sortBy)
import Data.Ord (comparing)

arr = [645.41, 37.59, 76.41, 5.31, 1.11, 1.10, 23.46, 635.47, 467.83, 62.25]
sortNums :: [Double] -> [Double]
sortNums = sortBy (comparing id)
main:: IO ()
main = do
    print(sortNums arr)

额外说明 #

• 你定义的Nums类型只是简单包裹了Double，没有添加额外逻辑，这种情况下其实没必要自定义类型，直接用内置Double类型更高效。如果你的实际需求是扩展数字类型的功能，保留自定义类型才是合理选择。
• Haskell是强类型语言，不同类型之间不会自动转换，使用自定义类型时必须通过构造器（比如Nums）创建该类型的实例。

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