As a strongly typed functional language, Reason can decrease the number of tests needed to maintain correctness over the lifetime of the program. Tests explain you what remember about your program; types tell you what you forgot.
Reason is OCaml. It compiles to a fast native executable, and yet (unlike C or C++) is garbage collected, making it easier to write bug-free code. Using MirageOS you can compile your program down to a minimal operating system that runs on bare metal.
Gradus is the latin word for "Steps." Many of the earliest textbooks were titled Gradus ad Parnassum, or "steps to Parnassus," a mountain region in Greece. These books provided a way for scholars to gradually learn how to write Greek and Latin verse.
Please do! This project was started with the intention of helping the community document examples of how to do basic, useful things with Reason. Please submit a pull request to the github repo.