在SML中定义类型？

Question

如果我想检查字符串是否以字母开头而其余字符可以是字母或数字，我如何定义由这些条件定义的数据类型？或者模式匹配是更好的路线，如果是，我该如何检查？

Answer 1

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

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

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