A GLSL type checker and minifier for WebGL. See http://evanw.github.io/glslx/ for a demo and more information.
IDE support is currently available as a Visual Studio Code extension. It supports inline errors, type tooltips, go-to-definition, renaming, and more.