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.
- Immutable Values
- Block Scoping and Updateable Variables
- Ref/Out Parameters
- Errors and Checks
- Invariants and Pre/Post Conditions
- Typed Strings
- Primitive Type Specialization
- Iterative Processing
- Recursion
- Determinacy
- Equality and Representation
- Atomic Constructors and Factories
- Atomic Data Operations
- Invoke Resolution