What are the aims of static typing and dynamic evaluation?

What will be an ideal response?

Static typing analysis checks whether each (core) expression is type safe and, if so, determines
its static type. Static type analysis works as a bottom-up technique by applying type inference
rules over expressions, taking into account the type of literals and any input documents. If the
expression is not type-safe, a type error is raised; otherwise, a parse tree is built with each
subexpression annotated with its static type.
Dynamic evaluation computes the value of the expression from the parse tree in the core
language. This phase may result in a dynamic error, which may be a type error (if static type
analysis has not been performed) or a non-type error.