You might want branching structures when you have no overloading. You might want guards and other structures when your type checking is dynamic.
You might want branching structures when you have no overloading. You might want guards and other structures when your type checking is dynamic.