Yes, programming is taught inside of _some_ high schools. A shockingly low amount of high schools actually teach it though. Neither my high school nor other nearby high schools have any sort of computer science curriculum.
You have a very optimistic view of high schools.
You don't agree that any student should be allowed to program on computers in the library? It seems like a security issue, whereas in a classroom students would be supervised by a computer science instructor. I'm not saying students need to be hand held, but schools really just don't know enough about programming to open it up. Web development, Flash, and Photoshop could be installed on library computers - they were on a few where I went. Otherwise I totally understand why school district IT would not allow it or fight against it.