2013
Martin Odersky
11:15:36
English
The course video lectures on Functional Programming from the creator of the Scala language of Martin Odersky. The course consists of 7 weeks (~ 2 hours per week).

-Course Introduction (2:44)
-Tools Setup for Linux (12:24)
-Tools Setup for Mac OS X (12:17)
-Tools Setup for Windows (10:37)
-Tutorial Working on the Programming Assignments (8:47)
-Lecture 1.1 - Programming Paradigms (14:32)
-Lecture 1.2 - Elements of Programming (14:25)
-Lecture 1.3 - Evaluation Strategies and Termination (4:22)
-Lecture 1.4 - Conditionals and Value Definitions (8:49)
-Lecture 1.5 - Example square roots with Newtons method (11:25)
-Lecture 1.6 - Blocks and Lexical Scope (8:00)
-Lecture 1.7 - Tail Recursion (12:32)
-Lecture 2.1 - Higher-Order Functions (10:18)
-Lecture 2.2 - Currying (14:58)
-Lecture 2.3 - Example Finding Fixed Points (10:46)
-Lecture 2.4 - Scala Syntax Summary (4:13)
-Lecture 2.5 - Functions and Data (11:50)
-Lecture 2.6 - More Fun With Rationals (15:08)
-Lecture 2.7 - Evaluation and Operators (16:25)
-Lecture 3.1 - Class Hierarchies (25:50)
-Lecture 3.2 - How Classes Are Organized (20:30)
-Lecture 3.3 - Polymorphism (21:09)
-Lecture 4.1 - Functions as Objects (8:04)
-Lecture 4.2 - Objects Everywhere (19:07)
-Lecture 4.3 - Subtyping and Generics (15:02)
-Lecture 4.4 - Variance (Optional) (21:33)
-Lecture 4.5 - Decomposition (16:57)
-Lecture 4.6 - Pattern Matching (19:36)
-Lecture 4.7 - Lists (16:20)
-Lecture 5.1 - More Functions on Lists (13:04)
-Lecture 5.2 - Pairs and Tuples (10:45)
-Lecture 5.3 - Implicit Parameters (11:08)
-Lecture 5.4 - Higher-Order List Functions (14:53)
-Lecture 5.5 - Reduction of Lists (15:35)
-Lecture 5.6 - Reasoning About Concat (13:00)
-Lecture 5.7 - A Larger Equational Proof on Lists (9:53)
-Lecture 6.1 - Other Collections (20:45)
-Lecture 6.2 - Combinatorial Search and For-Expressions (13:12)
-Lecture 6.3 - Combinatorial Search Example (16:54)
-Lecture 6.4 - Queries with For (7:50)
-Lecture 6.5 - Translation of For (11:23)
-Lecture 6.6 - Maps (22:39)
-Lecture 6.7 - Putting the Pieces Together (20:35)
-Lecture 7.1 - Structural Induction on Trees (15:10)
-Lecture 7.2 - Streams (12:12)
-Lecture 7.3 - Lazy Evaluation (11:38)
-Lecture 7.4 - Computing with Infinite Sequences (9:01)
-Lecture 7.5 - Case Study the Water Pouring Problem (31:45)
-Lecture 7.6 - Course Conclusion (5:34)

Download File Size:1.17 GB

---