Fast, portable, non-Turing complete expression evaluation with gradual typinggithub.com/google2 pointstjeka month ago