You would likely be interested in Jamie Brandon's work on the Zest language [1] which has planned "lax", "strict", and "kernel" modes for varying levels of perf

You would likely be interested in Jamie Brandon's work on the Zest language [1] which has planned "lax", "strict", and "kernel" modes for varying levels of performance/safety [1]: https://www.scattered-thoughts.net/writing/zest-dialects-and-metaprogramming/ https://www.scattered-thoughts.net/writing/zest-dialects-and...