iveevi.github.io/rcgp/
Check out Venkat's work on a new graphics programming language on statically enforcing correctness of heterogeneous graphics programs (e.g., resources declared on host must match shaders at compile time). The compiler is open sourced and let us know if you have any comment!