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...