В чем смысл предположения в скале по сравнению с утверждением?
Кажется, Scala определяет 3 вида утверждений:assert
, require
а такжеassume
.
Насколько я понимаю, разница (по сравнению с общим утверждением)require
является то, что он специально предназначен для проверки входных данных (аргументы, входящие сообщения и т. д.). И в чем смыслassume
тогда?