There are domain specific languages that use these primitives/abstractions e.g., Halide
https://halide-lang.org/tutorials/tutorial_lesson_05_schedul...
https://halide-lang.org/tutorials/tutorial_lesson_05_schedul...
We recently have some follow-ups on this idea as well. Happy to discuss about it and I don't want to distract from this thread...