在SML中定义类型？

Question

如果我想检查字符串是否以字母开头，而其余字符可以是字母或数字，那么我将如何定义由这些条件定义的数据类型？ 还是将模式匹配作为更好的途径？如果是，我将如何检查呢？

Answer 1

如果您不关心使用String.explode效率低下，那么您可以定义以下谓词：

fun isName s = List.all Char.isAlpha (String.explode s)

否则，您可以通过对字符串本身（的长度）进行递归来实现它。