string - SML/NJ 字符串模式匹配

Question

SML/NJ 中是否有类似列表模式匹配的东西，但适用于字符串？我最终想做的是删除字符串的第一个字符(如果它是一个特定的字符)，并且首先想到的是这种解决方案，所以如果我可以做到这一点而不会进一步困惑，我将不胜感激。通过将字符串转换为列表形式等。

Answer 1

不直接。解决此问题的最常见方法是让函数的调用者拆分出第一个字符，以便您可以对其进行模式匹配。

在 SML'97 中，字符串是 CharVector.vector(其签名为 MONO_VECTOR)。 SML/NJ确实允许向量上的模式匹配(这是一个非标准扩展)，但不幸的是，据我所知，不允许在单态向量上进行模式匹配。