Chapter 01: Introduction This chapter introduces some of the main concepts of functional programming languages: value expression declaration recursive function type. Also it introduces the notions: binding environment evaluation of expressions.