Applicative High Order Programming

by Steve Sokolowski

With the increasing capacities of today's computers, high order programming has gradually gained ground, not only in academic research but also in industrial applications as a specification and prototyping tool. On the other hand, the interest in functional programming has created new fields of academic research. Although this research is directly motivated by problems arising when implementing functional languages or designing functional programmes, its actual relation to "everyday programming" is often overlooked. The main aim of this book is to bring together theory and practice and to illustrate both the gains and the difficulties that a programmer may face. The book assumes that the reader has some programming practice, in particular with functional programming. Evolved from lecture notes for students, it also includes exercises.

Genres: Programming

256 pages, Mass Market Paperback

First published February 21, 1991

Reviews

[Michael · Rating 4 out of 5]

Best book on static typing I've read.