Bosques addresses the five main sources of Accidental Complexity:
- Variable state and framework / Mutable State and Frames;
- Loops, recursion, and invariants / Loops, Recursion, and Invariants;
- Uncertainty is / Indeterminate Behaviors;
- Data invariant violations / Data Invariant Violations;
- Equality and Alias / Equality and Aliasing
As mentioned above, Bosques does not require loop loop statements such as 'for', 'while', 'do while', etc.MicrosoftThe introduction of "Functors" instead of "Loop Loop" can improve the quality of software compilation.
Bosque code examples are listed on the GitHub page