Functional Programming Lecture Notes by David Walker

Overview & Synopsis

David Walkers Functional Programming Lecture Notes give quite an extended introduction to functional programming using OCaml. The notes introduce the reader to the very basics of OCaml and simple manipulations of data, from thinking in recursion to problemsolving. It covers Polymorphism and HigherOrder programming, commonly referred to as PolyHO. It will discuss functions operating on other functions and even data. Pipelines and datatypes have been explained purely from functional programming paradigms. It first introduces the functional evaluation model and functional space model, thereby introducing the reader to the theoretical points of view of functional programming. Equational reasoning, modules, functors, and modular reasoning are other topics treated within this context, while more practical aspects concern mutable data structures, threads, and parallel complexity models. This book will no doubt be very useful to those readers who would wish to become acquainted with both the theory and practice of functional programming.