


TL DR: I created a functional language that is a superset of JSON, sort of like Jsonnet but with types and bidirectional type inference. Specifically, I imagine some people will want to understand how this work relates to my work on Dhall. This announcement post focuses more upon the history and motivation behind this project. The README already provides most of the information that you will need to begin using the language. You can visit the project repository if you want to cut to the chase.

The goal of this language is to improve the quality of domain-specific languages by providing a useful starting point for implementers to fork and build upon. I’m publishing a repository containing a programming language implementation named Fall-from-Grace (or “Grace” for short). Fall-from-Grace: A ready-to-fork functional programming language
