higher-order functions polymorphic method
unit return type
reduction rules evaluation termination expressions Boolean expressions
lookupswitch match expression switch pattern matching tableswitch
return type best practices type inference
functions
higher-order functions functions currying
unit void return type
return type return statement best practices
if-else conditional expressions evaluation termination by-value by-name