如何修改Haskell的isNumeric函数以支持任意类型变量的数值检查

原字符串数值检查函数 #

最初的函数仅用于检查字符串是否符合数值格式，代码如下：

import Data.Char (isDigit)

isNumeric :: String -> Bool
isNumeric ""  = False
isNumeric "." = False
isNumeric xs  =
  case dropWhile isDigit xs of
    ""       -> True
    ('.':ys) -> all isDigit ys
    _        -> False

问题与修改尝试 #

你希望将该函数修改为可以检查任意类型变量的版本，并尝试了以下代码：

isNumeric :: Eq a => a -> Bool
isNumeric ""  = False
isNumeric "." = False
isNumeric xs  =
  case dropWhile isDigit xs of
    ""       -> True
    ('.':ys) -> all isDigit ys
    _        -> False

但这段代码会报错——Eq a约束下的a可以是任意相等类型，而""、"."是字符串特有的字面量，isDigit仅能处理Char类型，无法直接作用于任意类型的xs，存在类型不匹配问题。

可行实现方案 #

Haskell是强类型语言，要实现支持任意类型的数值检查，需要通过类型类来实现，以下是两种常见方案：

方案一：借助Show类型类转换后检查 #

利用Show类型类将任意可转换为字符串的类型转为字符串，再复用原逻辑进行检查：

import Data.Char (isDigit)

isNumeric :: Show a => a -> Bool
isNumeric x = checkNumericStr (show x)
  where
    checkNumericStr ""  = False
    checkNumericStr "." = False
    checkNumericStr xs  =
      case dropWhile isDigit xs of
        ""       -> True
        ('.':ys) -> all isDigit ys
        _        -> False

• 特点：适用于所有实现了Show的类型，比如Int、Float、Double等数值类型的show结果会被正确识别；但要注意，科学计数法格式的字符串（如"1e3"）会被判定为非数值，若需要支持这种格式，需要修改检查逻辑。

方案二：自定义类型类精准控制 #

如果需要更精确地定义哪些类型属于“数值”，可以自定义类型类：

-- 定义类型类
class IsNumeric a where
  isNumeric :: a -> Bool

-- 为标准数值类型实现
instance IsNumeric Int where
  isNumeric _ = True

instance IsNumeric Float where
  isNumeric _ = True

instance IsNumeric Double where
  isNumeric _ = True

-- 为字符串实现复用原检查逻辑
import Data.Char (isDigit)
instance IsNumeric String where
  isNumeric ""  = False
  isNumeric "." = False
  isNumeric xs  =
    case dropWhile isDigit xs of
      ""       -> True
      ('.':ys) -> all isDigit ys
      _        -> False

-- 其他类型按需实现，比如Bool不属于数值
instance IsNumeric Bool where
  isNumeric _ = False

• 特点：完全自主控制哪些类型被判定为数值，避免字符串转换带来的误判问题，灵活性更高。

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