Have you heard people talking about “making” in schools, or “makerspaces”, or “maker education”? What about 3D printers, squishy circuits or arduinos? The idea of making to learn is a philosophy of education that goes back to the late 1800s/early 1900s and the writings of John Dewey. “Give the pupils something to do, not something to learn; and the doing is of such a nature as to demand thinking; learning naturally results.”
There is a lot of discussions about makerspaces and how they are used in schools. Some schools have put makerspace technology in their libraries. There are also schools that have put a piece of makerspace technology (like a 3D printer) in a singular classroom, and it's used mainly by that class. And there are stand-alone spaces...rooms/labs set aside just for making.