Introduction to Functional Programming

This is an introductory course in programming, and uses a functional language. The primary goal is to enable students to write small programs, while introducing some of the fundamental concepts of computer science. Secondary goals are to provide orientation regarding the courses to come (particularly data structures, algorithms, digital circuits, formal methods and programming language courses). Concrete topics encountered in the course include: - values, types and functions - compound data types (lists, tuples, and user-defined types) - higher-order functions using abstraction to avoid repetitive programming - recursion and recursive data types - efficient and inefficient programs - input-output - verification with the help of testing