Proposal: Eager Evaluation

[vknabel]

Introduction
Currently Lithia implements lazy evaluation. This should be changed to eager evaluation.

Motivation
Multiple traits of Lithia combined may lead to situations that are hard to debug.

• dynamic type system
• strict type errors
• lazy evaluation

All three features combined may lead to the program crashing in completely different code paths than the actual error occurred.

Proposed Solution
As a solution we want to break the cycle. Of course, this change is radical, but touching any other aspect would change Lithia fundamentally. Lazy evaluation is just optional.