替换Prelude的minimum函数引发错误：自定义minim致选择排序崩溃

你的程序在使用自定义minim时崩溃，核心问题出在类型不兼容和代码语法不完整上，下面逐个解决：

1. 类型不匹配问题 #

你定义的mymin和minim仅支持Int类型，但seqSort被声明为支持所有实现Eq和Ord的泛型类型。当把seqSort中的minimum替换为minim时，类型系统会直接报错，进而导致运行时崩溃。

修复方法：让自定义最小函数支持泛型 #

修改mymin和minim的类型签名与实现，使其和Prelude中的minimum保持一致的泛型兼容性：

-- 支持所有Ord类型的两值取小
mymin :: Ord a => a -> a -> a
mymin a b
    | a > b  = b
    | otherwise = a  -- 合并a < b和a == b的情况，简化逻辑

-- 支持所有Ord类型的列表取最小
minim :: Ord a => [a] -> a
minim [a]  = a
minim (h:t)  = mymin h (minim t)

2. 语法不完整问题 #

你的main函数中print(seqSort [没有完成列表定义（缺少元素和闭合括号），这会直接触发语法错误，导致程序无法正常编译运行。

修复方法：补全main函数的列表输入 #

比如测试一个示例列表：

main :: IO ()
main = print(seqSort [5, 3, 8, 1, 2])

3. 可选优化：完善空列表处理 #

Prelude的minimum在传入空列表时会抛出明确异常，而你的minim会因模式匹配不全直接崩溃。可以给minim添加空列表处理逻辑，让错误提示更清晰：

minim :: Ord a => [a] -> a
minim [] = error "minim: empty list"  -- 和minimum的错误行为一致
minim [a]  = a
minim (h:t)  = mymin h (minim t)

完整修复后的代码 #

rmf :: Eq t => t -> [t] -> [t]
rmf  _ [] = []
rmf oc (h : t)
      | oc  == h = t
      |otherwise = h : rmf oc t

mymin :: Ord a => a -> a -> a
mymin a b
    | a > b  = b
    | otherwise = a

minim :: Ord a => [a] -> a
minim [] = error "minim: empty list"
minim [a]  = a
minim (h:t)  = mymin h (minim t)

seqSort :: (Eq a, Ord a) => [a] -> [a]
seqSort [] = []
seqSort xs = s : seqSort (rmf s xs)
    where s = minim xs  -- 替换为自定义的minim

main :: IO ()
main = print(seqSort [5, 3, 8, 1, 2])

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