Sml 我可以得到一些关于不使用isSome、some、NONE、null而使用模式检查的示例吗？

我已经了解到，如果我们知道模式检查，就不需要使用isSome函数、SOME或NONE构造函数，但我不理解这个概念

---

因此，我可以得到一些关于不使用isSome、some、NONE、null，而是使用模式检查的示例吗？

使用模式匹配，可以重新实现这些函数。例如，

isSome

将如下所示：

fun isSome NONE = false
  | isSome _ = true

几乎一直以来，使用内联

case

表达式来检查这些值比调用这样的小助手函数更方便