Halide is pretty specialized and only somewhat related to this, but I really like the concept: https://halide-lang.org/ https://halide-lang.org/ A tldr is: def

Halide is pretty specialized and only somewhat related to this, but I really like the concept: https://halide-lang.org/ https://halide-lang.org/ A tldr is: define your logical algorithm and its implementation separately, so you can freely tweak the implementation to optimize it without risking correctness.