EdusalsaDiscover Your Stanford

CS 43

Functional Programming Abstractions

  • Not Offered

2 units

Satisfactory/No Credit

This course covers the fundamentals of functional programming and algebraic type systems, and explores a selection of related programming paradigms and current research. Haskell is taught and used throughout the course, though much of the material is applicable to other languages. Material will be covered from both theoretical and practical points of view, and topics will include higher order functions, immutable data structures, algebraic data types, type inference, lenses and optics, effect systems, concurrency and parallelism, and dependent types. Prerequisites: Programming maturity and comfort with math proofs, at the levels of CS107 and CS103.

Course Prequisites

Sign Up

To save CS 43 to your course bucketlist

Already Have An Account? Log In