OpenGL 4 does indeed support binary shader loading and retrieval, but there is no standard binary format. So GLSL sources still need to be available for the initial compilation.