Image goes here
Lectures
CptS 580 Section 1 (Section 3 in TC): Advanced Programming Languages - Spring 2015
Washington State University
Week Date Topic Book Chapter(s)
A/V
Kliks
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
Audio Video
Functions due
Wed 01/28 Types and type classes, continued LYAH Ch 8
4 Mon 02/02 Input-output: our first monad LYAH Ch 9
Wed 02/04 More types LYAH Ch 11 (read Ch 10 for fun)
5 Mon 02/09 Monads LYAH Ch 12
Wed 02/11 More monads LYAH Ch 13
6 Mon 02/16 Presidents' Day Class Holiday
Wed 02/18 Midterm Exam
7 Mon 02/23 Language ecosystem - Hackage, hoogle, cabal, etc.
Wed 02/25 Language ecosystem - versioning issues, Stackage
8 Mon 03/02 Grammars and parsing
Wed 03/04 Type analysis
9 Mon 03/09 Haskell Diagrams - compositionality using monoids
Wed 03/11 Concurrency and STM
Spring Break Mon 03/16 Spring Break
10 Mon 03/23 Haskell Hair Shirt (Paper)
Wed 03/25 The awkward squad (Paper)
11 Mon 03/30 Type systems and category theory
Wed 04/01 student paper/project presentations
12 Mon 04/06 student paper/project presentations
Wed 04/08 student paper/project presentations
13 Mon 04/13 student paper/project presentations
Wed 04/15 student paper/project presentations
14 Mon 04/20 student paper/project presentations
Wed 04/22 student paper/project presentations
15 Mon 04/27 student paper/project presentations
Wed 04/29 student paper/project presentations
Finals week Mon 05/04 Tentative - Fri, May 8, Final Exam 8:00-10:00 AM
(c) 2003 Curtis Dyreson, (c) 2004-2006 Carl H. Hauser           E-mail questions or comments to Prof. Carl Hauser