Rhovas is a programming language intended for API design and enforcement. Using Rhovas, developers can better express the contracts and intention of their code to help create correct, maintainable software.
This repository is intended to define an informal, semantic specification for Rhovas and also explain the motivation behind design decisions, including alternative approaches and tradeoffs. Put simply, what and why.
- Discord Server: Discussion on Rhovas including language design, implementation, and anything related.
If you appreciate the work I do, please consider sponsoring me! GitHub will also match your sponsorship through the GitHub Sponsors Matching Fund.