haskell - 如何在Haskell中创建包含有限长度字符串的类型

Question

这个问题已经有答案了:

已关闭 11 年前。

Possible Duplicate:
How to make a type with restrictions

是否可以在 Haskell 中创建一个类型，例如“Name”，它是一个字符串，但包含不超过 10 个字母？

如果不是，我如何禁止创建一个具有长名称的人(其中人的定义如下: data Person = Person Name )。

也许这根本不重要，也许这类问题应该在 Haskell 中以不同的方式解决？

Answer 1

不要从定义类型的模块中导出构造函数，而是导出“智能构造函数”:

module Name (Name(), -- exports the type Name, but not the data constructor Name
             nameFromString,
             stringFromName)
where

data Name = Name String

-- this is the only way to create a Name
nameFromString :: String -> Maybe Name
nameFromString s | 10 < length s = Nothing
                 | otherwise     = Just (Name s)

-- this is the only way to access the contents of a Name
stringFromName :: Name -> String
stringFromName (Name s) = s

<小时/>

因此，您担心如果您以前的代码不要求名称限制为十个字符，则不能直接放入 nameFromString，因为它的类型为 String -> 也许名称 而不是字符串 -> 名称。

首先，如果你确实想抛出异常，可以定义

import Data.Maybe (fromMaybe)

nameFromString' :: String -> Name
nameFromString' = fromMaybe (error "attempted to construct an invalid Name") . nameFromString

并使用它来代替。

其次，抛出异常有时是错误的做法。考虑一下

askUserForName :: IO Name
askUserForName
   = do putStr "What's your name? (10 chars max)  "
        s <- getLine
        case nameFromString s of
            Just n  -> return n
            Nothing -> askUserForName

重写它以使用异常会导致更复杂的代码。