Могу ли я получить некоторые примеры не использования isSome, SOME, NONE, null, а проверки шаблонов?

Question

Я узнал, что нет необходимости использовать функцию isSome, конструктор SOME или NONE, если мы знаем проверку шаблонов, но я не понимаю эту концепцию.

Итак, могу ли я получить несколько примеров оне используется isSome, SOME, NONE, null, но проверка шаблона?

Answer 1

Используя сопоставление с образцом, можно переопределить эти функции.Например, isSome будет выглядеть так:

fun isSome NONE = false
  | isSome _ = true

Почти всегда удобнее использовать встроенное выражение case для проверки таких значений, а не вызывать такие крошечные вспомогательные функции.