https://github.com/stanfordhaskell/cs43
Course materials for Stanford's CS43: Functional Programming Paradigms
https://github.com/stanfordhaskell/cs43
category-theory course-materials functional-programming haskell
Last synced: 7 months ago
JSON representation
Course materials for Stanford's CS43: Functional Programming Paradigms
- Host: GitHub
- URL: https://github.com/stanfordhaskell/cs43
- Owner: stanfordhaskell
- Created: 2019-07-29T00:18:17.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2020-03-27T21:16:23.000Z (over 5 years ago)
- Last Synced: 2024-10-30T02:59:44.770Z (11 months ago)
- Topics: category-theory, course-materials, functional-programming, haskell
- Language: Haskell
- Homepage: https://stanford-lambda.gitlab.io
- Size: 1.45 MB
- Stars: 30
- Watchers: 3
- Forks: 5
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Stanford CS43: Course materials
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.