The Bosque language is a hybrid of functional programming language semantics and a novel ergonomic block & assignment-based syntax. The language also provides a range of ergonomic features for writing high reliability code, such as Typed Strings, unit typedecls for primitives, and first-class assertions/pre-post conditions/invariants. This document highlights language features that are new (or maybe less familiar) that are available in the Bsoque langauge.

Table of Contents

1. Immutable Values
2. Block Scoping and Updateable Variables
3. Ref/Out Parameters
4. Errors and Checks
5. Invariants and Pre/Post Conditions
6. Typed Strings
7. Primitive Type Specialization
8. Iterative Processing
9. Recursion
10. Determinacy
11. Equality and Representation
12. Atomic Constructors and Factories
13. Atomic Data Operations
14. Invoke Resolution