функции? Например, функция может принять List[Int], но этот список должен содержать только четные элементы. Не кидать же exception из функции
https://github.com/fthomas/refined
грубо говоря, https://wiki.haskell.org/Smart_constructors
Делаешь обертку EvenInt, которую можно создать только передав четное число.
Обсуждают сегодня