Principles of Functional Programming, with Semgrep Academy

Principles of Functional Programming

This course provides a disciplined, type-oriented, safety-first view of programming. It is usually second or third year university course.

Enroll for free

Video

Course curriculum

1. Lecture 1: Prologue
1. Lecture 2: Equivalence, Binding, and Scope
1. Lecture 3: Induction and Recursion
1. Lecture 4: Structural Induction and Tail Recursion
1. Lecture 5: Trees
1. Lecture 6: Asymptotic Analysis
1. Lecture 7: Sorting and Parallelism
1. Lecture 8: Polymorphism
1. Lecture 9: Higher-Order Functions
1. Lecture 10: Combinators and Staging
1. Lecture 11: Continuation-Passing Style
1. Lecture 12: Exceptions
1. Lecture 13: Regular Expressions
1. Lecture 14: Structures and Signatures
1. Lecture 15: Functors
1. Lecture 16: Red-Black Trees
1. Lecture 17: Sequences
1. Lecture 18: Lazy Programming
1. Lecture 19: Imperative Programming
1. Lecture 20: Special Topics (Compilers)
1. Lecture 21: Special Topics (Program Analysis)
1. Lecture 22: Finale

About this course

Free
22 lessons
0 hours of video content

Learn functional programming, today!

Enroll today