parameters functions
infix notation arity-1
syntax parentheses
return type return statement
functions recursion
namespace
by-value def definitions val by-name
higher-order functions
unit return type
return type best practices type inference