In this talk, I will introduce a recent paradigm for the quantum analog of functional programming, known as higher-order quantum computation. I will present my results on how this paradigm can be used ...