Requiring functions to be "total" functions is another way to look at it. I like languages with pattern matching that will generate a compiler error if you don

Requiring functions to be "total" functions is another way to look at it. I like languages with pattern matching that will generate a compiler error if you don't handle all possible paths.