Haskell中带最小/最大长度的类型：代码歧义问题及简化实现问询

你的代码无法运行的核心原因是无参数的类方法导致类型歧义。在BoundedLen类中，minLen和maxLen是没有参数的Int64常量，Haskell编译器无法在validateLen中推断出它们应该对应哪个BoundedLen实例（比如如果同时存在String和[Int]的实例，编译器不知道你指的是哪个的minLen）。

下面是两种简单的修复方式，以及对设计合理性的分析：

方法1：使用TypeApplications扩展 #

开启TypeApplications扩展后，你可以显式指定类型参数，让编译器明确要使用哪个实例的minLen/maxLen：

{-# LANGUAGE TypeApplications #-}

import Data.Int (Int64)

class BoundedLen a where
  minLen :: Int64
  maxLen :: Int64
  len :: a -> Int64

data LenError = TooShort | TooLong deriving (Show)

validateLen :: forall a. BoundedLen a => a -> Either LenError a
validateLen x
  | minLen @a > len x = Left TooShort
  | maxLen @a < len x = Left TooLong
  | otherwise = Right x

这里的forall a.显式量化了类型变量，@a则直接告诉编译器：使用当前a类型对应的BoundedLen实例的minLen/maxLen。

方法2：用Proxy传递类型信息 #

如果你不想启用语言扩展，可以使用Proxy类型来传递类型上下文，让编译器明确实例来源：

import Data.Int (Int64)
import Data.Proxy (Proxy(..))

class BoundedLen a where
  minLen :: Proxy a -> Int64
  maxLen :: Proxy a -> Int64
  len :: a -> Int64

data LenError = TooShort | TooLong deriving (Show)

validateLen :: BoundedLen a => a -> Either LenError a
validateLen x =
  let proxy = Proxy :: Proxy a
      currentLen = len x
  in if currentLen < minLen proxy
       then Left TooShort
       else if currentLen > maxLen proxy
             then Left TooLong
             else Right x

举个实例实现的例子，比如给String添加长度约束：

instance BoundedLen String where
  minLen _ = 3
  maxLen _ = 20
  len = fromIntegral . length

调用validateLen "abc"会返回Right "abc"，调用validateLen "ab"则返回Left TooShort。

关于设计是否过度的讨论 #

这完全取决于你的使用场景：

• 如果只需要验证少数几种类型（比如仅String和ByteString）：确实有点过度，直接写针对性的验证函数更简单，比如：

  validateStringLen :: Int64 -> Int64 -> String -> Either LenError String
  validateStringLen minL maxL s
    | fromIntegral (length s) < minL = Left TooShort
    | fromIntegral (length s) > maxL = Left TooLong
    | otherwise = Right s
  

  这种方式更直接，不需要定义类和实例，减少了不必要的抽象。

• 如果需要支持多种自定义类型（比如Username、Email、PhoneNumber等，每种都有独立的长度约束）：这个设计非常合理，甚至是推荐的。它提供了统一的验证接口validateLen，你只需要给每个类型实现BoundedLen实例，就能复用验证逻辑，避免重复代码，同时保持代码的一致性。

另外，如果你的场景对安全性要求极高，希望在编译期就保证长度约束，可以考虑用GHC的类型级编程（比如DataKinds、TypeLits）来定义带长度限制的新类型，但这会增加复杂度，适合特定的严格场景。

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