CS1521

FUNCTIONAL PROGRAMMING: THEORY AND PRACTICE

FALLSPRINGSUMMER

Course DescriptionThis course introduces a programming paradigm called functional programming. Students will learn basic principles of functional programming using the Haskell language. Verification in functional programming is possible due to functions are written as specifications. Students will also learn how to use structural and mathematical inductions to prove (verify) properties of functions. The Lambda calculus, which is a precursor of functional programming languages will be introduced as well. An introduction to Category theory will be covered to help understand properties related to Monad. Various applications of functional programming will be discussed such as parsing, data processing, and components of web application. Students will also learn how to turn a Haskell program into a standalone application as well as a library that can be used by other programming language such as C.

Credits:3

View this course on Pitt's Website

Testimonials

Testimonial List Placeholder