- Each binder also carries around its type, but this is usually not shown
- in the Core expressions. Occasionally, the type of an entire expression
- or function is shown for clarity, but this is only informational. In
- practice, the type of an expression is easily determined from the
- structure of the expression and the types of the binders and occasional
- cast expressions. This minimize the amount of bookkeeping needed to keep
- the typing consistent.
+ Each binder also carries around its type (explicitly shown above), but
+ this is usually not shown in the Core expressions. Only when the type is
+ relevant (when a new binder is introduced, for example) will it be
+ shown. In other cases, the binder is either not relevant, or easily
+ derived from the context of the expression. \todo{Ref sidenote on type
+ annotations}