Halide is pretty specialized and only somewhat related to this, but I really like the concept: 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.