Fast, portable, non-Turing complete expression evaluation with gradual typing
github.com