An algebraic-data + annotation language for capturing specification, specifically of modern cloud systems. TRON enables developers and operations to easily define and capture semantics invariance in configuration files.

It started life as a strict superset of Google’s Protocol Buffers and draws influence from many languages including Capnproto, Go, Dhall, Cue and ADL.

The project's principles include;

• strict determinitic specification, separate from non-deterministic specification and Turing-complete implementation
• usability at developer scale
• principle of least privilege
• distinguishing authentication from authorization (to the extent of replacing the word authorization by resource)
• rule of least power
• defaults not implicits (watch out for hidden assumptions aka implicits)
• understand dualities (static vs dynamic)
• understand context aka shades or grey (eg static vs less static vs less static vs dynamic)
• Probablity of success is function of perceived value as a ratio of perceived pain of adoption

This is early days for TRON if you would like to get involved please contact me.

• Proto Language Server supporting extend and options