expressions reduction rules Boolean expressions termination evaluation
return type best practices type inference
import
unit return type
functions partially applied functions
match expression pattern matching lookupswitch switch tableswitch
if-else by-value by-name termination conditional expressions evaluation
higher-order functions functions currying
infix notation arity-1
unit void return type
