CS 1521 - FUNCTIONAL PROGRAMMING: THEORY AND PRACTICE

Minimum Credits: 3
Maximum Credits: 3
This 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.
Academic Career: Undergraduate
Course Component: Lecture
Grade Component: Letter Grade

Click here for class schedule information.

Add to Portfolio.

Close Window