Have you seen Halide? https://halide-lang.org/ https://halide-lang.org/ It's a bit special-cased (afaict), but it sounds like it makes at least a solid step in

Have you seen Halide? https://halide-lang.org/ https://halide-lang.org/ It's a bit special-cased (afaict), but it sounds like it makes at least a solid step in this sort of direction.