Haskell二次方程求解代码报错求助：类型不匹配及拼写问题

错误原因分析 #

• 类型不匹配：你声明quadraticEquation返回(Complex Float, Complex Float)，但计算x1、x2时用的是普通Float运算，Haskell是强类型语言，不会自动将实数转为复数，导致类型冲突。
• 负数判别式处理失效：当判别式为负时，普通sqrt函数无法处理负数，会直接报错，必须用Data.Complex模块支持复数的开方操作。
• 变量拼写错误：main函数里引用的soluciones是拼写错误，应该和前面绑定的变量名solutions一致。

修正后的代码 #

import Data.Complex
import System.IO

-- 计算二次方程的复数解
quadraticEquation :: Float -> Float -> Float -> (Complex Float, Complex Float)
quadraticEquation a b c
  | a == 0 = error "a不能为0"
  | otherwise = (x1, x2)
  where
    -- 将判别式转为复数，统一处理实根和复根
    disc = (b^2 - 4*a*c) :+ 0  -- 把Float转为Complex Float
    sqrtDisc = sqrt disc
    denominator = 2*a :+ 0
    x1 = (-b :+ 0 + sqrtDisc) / denominator
    x2 = (-b :+ 0 - sqrtDisc) / denominator

main :: IO ()
main = do
    putStrLn "请输入a的值:"
    aStr <- getLine
    putStrLn "请输入b的值:"
    bStr <- getLine
    putStrLn "请输入c的值:"
    cStr <- getLine

    let a = read aStr :: Float
        b = read bStr :: Float
        c = read cStr :: Float

    let solutions = quadraticEquation a b c

    putStrLn "二次方程的解为:"
    putStrLn $ show $ fst solutions
    putStrLn $ show $ snd solutions

关键修改说明 #

1. 统一复数运算：把所有参与运算的实数（b、disc、denominator）用:+ 0显式转为Complex Float，这样所有运算都会在复数域进行，自然支持实根和复根的计算，不需要分分支处理判别式正负。
2. 移除冗余分支：既然统一用复数处理，就不需要再判断disc < 0，代码更简洁。
3. 修复拼写错误：把soluciones改为solutions，避免变量未定义错误。

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