Lectures
CptS 580 Section 1 (Section 3 in TC): Advanced Programming Languages - Spring 2015
Washington State University
CptS 580 Section 1 (Section 3 in TC): Advanced Programming Languages - Spring 2015
Washington State University
| Week | Date | Topic | Book Chapter(s) | |
|
Assignments |
|---|---|---|---|---|---|---|
| 1 | Mon 01/12 | Syllabus, Introduction | Info assigned | |||
| Wed 01/14 | types and functions, FP Complete Site | LYAH Chapters 1-4 | ||||
| Fri 01/16 | Info due | |||||
| 2 | Mon 01/19 | Martin Luther King Holiday | ||||
| Wed 01/21 | Recursive and higher-order functions, Problems 1-10, Problems 11-20 | LYAH Ch 5-6 | Functions assigned | |||
| 3 | Mon 01/26 | Modules, types, and type classes | LYAH Ch 7-8 | Functions due | ||
| Wed 01/28 | Types and type classes, continued | LYAH Ch 8 | Functors assigned | |||
| 4 | Mon 02/02 | Input-output: our first monad | LYAH Ch 9 | Functors due | ||
| Wed 02/04 | More types, https://github.com/bitemyapp/learnhaskell | LYAH Ch 11 (read Ch 10 for fun) | Lenses assigned | |||
| 5 | Mon 02/09 | Monads | LYAH Ch 12 | Lenses due | ||
| Wed 02/11 | More monads, Interesting StackOverflow Discussion of Reader Monad | LYAH Ch 13 | Finite Automata assigned | |||
| 6 | Mon 02/16 | Presidents' Day Class Holiday | Finite Automata due | |||
| Wed 02/18 | Exam review and code workshop | |||||
| 7 | Mon 02/23 | Midterm Exam | ||||
| Wed 02/25 | Language ecosystem - Hackage, hoogle, cabal, etc., How to write a Haskell Program | |||||
| 8 | Mon 03/02 | Grammars and parsing, Parser Combinators: Parsec, Happy example | ||||
| Wed 03/04 | Hindley-Milner type analysis, In-class notes | |||||
| 9 | Mon 03/09 | Union-find, Unification | ||||
| Wed 03/11 | Finish type analysis, Haskell Diagrams - compositionality using monoids | |||||
| Spring Break | Mon 03/16 | Spring Break | ||||
| 10 | Mon 03/23 | Strict vs non-strict semantics, lazy vs eager evaluation | ||||
| Wed 03/25 | Denotational semantics | |||||
| 11 | Mon 03/30 | The awkward squad (Paper) | ||||
| Wed 04/01 | The awkward squad (Paper) | |||||
| 12 | Mon 04/06 | Garbage collection, Concurrency and STM, None | ||||
| Wed 04/08 | Why Category Theory?, Category Theory | |||||
| 13 | Mon 04/13 | Note date change-April 15: paper presentations, Chris, Josh | ||||
| Wed 04/15 | Note date change-April 17: paper presentations, Daniel, Chin-Wei | |||||
| 14 | Mon 04/20 | Gabe (paper) and Josh (project) presentations | ||||
| Wed 04/22 | Daniel (project) and Julio (paper) presentations | |||||
| 15 | Mon 04/27 | Chris and Gabe (project) presentations | ||||
| Wed 04/29 | Julio and Chin-Wei (project) presentations | |||||
| Finals week | Mon 05/04 | Tentative - Fri, May 8, Final Exam 8:00-10:00 AM |