The cedarbridge language is a language designed for specifying message protocols
with a focus on minimalism and a clean mathematical foundation. The language has the following notable
features:
A minimal data definition language based on algebraic sum and product types.
Strong versioning as a core aspect of the language.
A small, easily auditable codebase with a heavy use of modularity for correctness.
An extensive automated test suite with high coverage.
A small footprint; the generated Java code consists of trivial record definitions and incredibly simple
and straightforward code to serialize and deserialize values.
Platform independence. No platform-dependent code is included in any form.