Partial parametrization eliminates multiple traversals of data structures
Department of Computer ScienceThe University of Electro-Communications
Cite this article as:
Takeichi, M. Acta Informatica (1987) 24: 57. doi:10.1007/BF00290706
The use of higher order functions in functional programming opens up the possibility of defining functions by partial parametrization, and lazy evaluation brings out a new approach in programming methodology. This paper describes a new transformation technique based on partial parametrization and fully lazy evaluation for eliminating multiple traversais of data structures. It uses no particular mechanisms in functional programming, whereas it transforms a wider class of programs into efficient ones than that proposed so far.