Design and Analysis of Purely Functional Progams