如何创建属于其他类型子集的类型？我想要一个只包含字母数字字符的字符串类型。
所以我想要这样的东西
type AlphNumString = [AlphaNumChar]
data AlphaNumChar = ???? filter (isAlphaNum) Char ????
【问题讨论】：
filter 不是类型，而是函数。
Int 子类型。编译器怎么知道素数是什么？显然这必须在用户代码中发生......）
执行此操作的标准方法是使用所谓的“smart constructors”。
首先，您定义一个与旧类型相同的新类型：
newtype AlphNumString = X String
接下来，您自己编写智能构造函数：
toAlphNumString :: String -> AlphNumString
toAlphNumString txt = X (filter isAlphNum txt)
最后，你做到了，toAlphNumString 是唯一创建AlphNumString 的方法。
module Foo (AlphNumString (), toAlphNumString, ...) where ...
请注意，这不允许您像普通的String 一样使用AlphNumString；你不能在 Haskell 中创建这样的“子类型”。所以你还需要另一个函数
fromAlphNumString :: AlphNumString -> String
fromAlphNumString (X txt) = txt
【讨论】：
OverloadedStrings 扩展。而 all 这样做是自动包装文字字符串；它不会使类型相同，只是使输入文字更容易。
这种基于某些谓词作为其他类型“子集”的类型概念称为细化类型。对于 Haskell，这被实现为 LiquidHaskell。
但是，我认为这是一项正在进行的研究。在实践中，我会使用新类型和动态检查，正如 MathematicalOrchid 在他们的回答中所描述的那样。
【讨论】：
在依赖类型语言（Haskell 还不是）中，您可以为此使用依赖对。
data Sigma : (t : Type) -> (t -> Type) -> Type where
MkSigma : (x : t) -> p x -> Sigma t p
data IsAlphaNum : (c : Char) -> Type where
MkIsAlphaNum : isAlphaNum c = True -> IsAlphaNum c
那么Sigma Char IsAlphNum 将是表示字母数字字符的类型。该类型的每个元素都包含一个字符和该字符是字母数字的证明。
【讨论】：