我可以得到一些关于不使用isSome,SOME,NONE,null但使用模式检查的示例吗?

时间:2018-10-06 19:31:22

标签: sml smlnj

我了解到,如果我们知道模式检查,则无需使用isSome函数,SOME或NONE构造函数,但我不理解该概念。

那么我能得到一些关于不使用isSome,SOME,NONE,null而是模式检查的示例吗?

1 个答案:

答案 0 :(得分:1)

使用模式匹配,可以重新实现这些功能。例如,isSome如下所示:

fun isSome NONE = false
  | isSome _ = true

几乎总是在使用内联case表达式来检查这样的值,而不是调用如此小的帮助程序函数。