Carnegie Mellon University · 15-150

Principles of Functional Programming

函数式编程原理

Functional programming in Standard ML, with types, abstraction, correctness proofs, work and span analysis, modules, and parallelism.

Start with one small step

Topic 1: Functional Programming

No path choice or account is required. Start one real official item and OpenStudy will remember where you left off.

Start the first lesson ↗Preview a gentle study plan

Subject：Standard ML

Level：Intermediate

Suggested stage：Year 2 (inferred)

Public-material edition：2026

Language：English

Videos：Not verified

Assignments / solutions：Available / Not verified

Prerequisites

CMU 15-112 or 15-122CMU 15-151 or equivalent discrete mathematics

Start here

All official course content

Lectures, video, assignments and exams are separated so you do not have to hunt through the course homepage.

24 direct tasks

▶Lectures, video & readingCourse content in the official sequence12

Topic 1: Functional Programming Topic 2: Types Topic 3: Recursion Topic 4: Higher-Order Functions Topic 5: Inductive Data Topic 6: Polymorphism Topic 7: Modules Topic 8: Lazy Evaluation Topic 9: Streams Topic 10: Parallelism Topic 11: Cost Semantics Topic 12: Functional Program Design

✓Assignments & practiceOpen the matching problem or assignment page12

Official problem practice: Functional Programming Official problem practice: Types Official problem practice: Recursion Official problem practice: Higher-Order Functions Official problem practice: Inductive Data Official problem practice: Polymorphism Official problem practice: Modules Official problem practice: Lazy Evaluation Official problem practice: Streams Official problem practice: Parallelism Official problem practice: Cost Semantics Official problem practice: Functional Program Design

Official resource hubs

Use these to browse a complete resource collection; the section above links directly to individual study items.

Official labs, homework, and exam scheduleCarnegie Mellon University School of Computer Science ↗

Official lecture resourcesCarnegie Mellon University School of Computer Science ↗

Source and verification

Every link points to an official university or course-team page. The year identifies the linked public-material edition, not necessarily the latest on-campus offering; a school may have newer materials that are not public. Unknown facts remain unverified rather than guessed.

Carnegie Mellon University School of Computer Science · verified 2026-08-03

Open official course ↗Report a resource issue