Abstract

We advocate the usage of modern functional programming languages, and lazy functional techniques for the description and implementation of abstract mathematical objects in Quantum Mechanics, needed both for pedagogical purposes, and for some real, not too computationally intensive, but conceptually and algorithmically difficult applications. We show how to perform simple abstract computations on state vectors, and we discuss the construction of some lazy algorithms, which facilitate enormously the manipulation of potentially infinite data structures, or iterative processes. Lazy functional techniques may replace in many cases the usage of symbolic computer algebra packages, and often offer additionally an interesting algorithmic complement to the manipulation of mathematical data, more efficient than blindly used symbolic algebra, and easily integrable with the numerical code. 1 Introduction to Functional Style 1.1 Elementary examples The progress in the active usage of soft...