Functional programming languages have been proposed to enhance the clarity of programs, to increase programmer productivity, and to reduce the difficulties of program verification. However, the lack... This description may be from another edition of this product.