CSC324 Programming Languages (Fall 2019)

Course Description

Welcome to CSC324! In this course, you'll learn about programming paradigms that are quite different from the imperative approach you've seen in other courses. We'll study Racket and Haskell, two functional programming languages, and compare and contrast these languages with languages with which you're already familiar (Python and Java). In addition, we will be defining our own programming languages and programming language features. Why? We want to help you go beyond any particular programming language, and understand core conceptual differences between languages. We think this will make you a better programmer.

Syllabus for: LEC0101 LEC0102

All announcements will be made on Quercus.

Course Contact:

Instructor: Lisa Zhang
Email: lczhang [at] cs [dot] toronto [dot] edu
Please include "CSC324" in your email subject.
Office hours:
Lisa: Mondays 12pm-2pm, DH3078 and by appointment
Hassan: Tuesdays 1:30pm-3pm, Room CC2110
There will be additional office hours near assignment deadlines and tests.

See the course teaching team page.

Course Notes

We will not be using a textbook for the course. Instead, we will use the CSC324 Coursepack written by Prof. David Liu from the St. George campus. We will follow the notes closely for the majority of the course, but our treatment of logic programming will differ. Additional notes will be posted online.

Tentative Schedule

This is the planned schedule for the term. The lecture content, labs, and homeworks are subject to change.

	Lecture (Wednesday)	Lab (Friday)	Exercise/Assignment (Due Tuesday)
Week 1	September 11, 2019 Introduction The Lambda Calculus Materials Course Notes pg.1-28 Slides Just for fun lec01_factorial.rkt lec01_factorial_church.rkt Origin of the lambda symbol (wikipedia)	September 13, 2019 Lab 1 Installation Help Introduction to Racket	Due September 17, 2019 Exercise 1 ex1.rkt Working with Racket Calculator I
Week 2	September 18, 2019 Pattern Matching Tail recursion Higher-Order Functions Currying Materials Course Notes pg.28-40 Slides Worksheet Lecture Code (rkt) Extras Making lst-double tail recursive [5 min video] Racket Quotes [3 min video]	September 20, 2019 Lab 2 lab2.rkt Higher-Order Functions Racket Code as Data	Due September 24, 2019 Exercise 2 ex2.rkt Calculator II Finding Tail Calls
Week 3	September 25, 2019 Eager evaluation Strict vs non-strict evaluation, Closures, Environments, Lexical scoping Materials Course Notes pg.40-55 Slides	September 27, 2019 Lab 3 lab3.rkt A simple interpreter Building an environments	Due October 1, 2019 Exercise 3 ex3.rkt Calculator III: Building an environment Currying
Week 4	October 2, 2019 Functional Classes and Objects Macros Materials Course Notes pg.57-76 Slides Worksheet All the code I wrote in class are in the slides.	October 4, 2019 Lab 4 lab4.rkt Basic Object-Oriented System	Due October 8, 2019 Exercise 4 ex4.rkt Calculator IV: Eager Evaluation Strictness Analysis
Week 5	October 9, 2019 Object-Oriented Programming: self Recursive Macros Streams Slides Materials Course Notes pg.77-86 Additional TA Office hours Thursday Oct 10 2:30-4pm CC2110 Thursday Oct 10 5:30-7pm CC2110	October 11, 2019 Lab 5 lab5.rkt Macros	~~Due October 15, 2019~~Due October 17, 2019 Assignment 1 dubdub.rkt dubdub_errors.rkt dubdub_test_sample.rkt
Reading week, no class / tutorial
Week 6	October 23, 2019 Midterm (1 hour) Self-modifying streams Basic Haskell Data Types Slides Worksheet streams.rkt Midterm TA Office hours Tuesday Oct 22 1:30pm-3pm CC2110 Tuesday Oct 22 5:30pm-7pm CC2110 Materials Posted notes: A Self-Updating Stream (pages 1-4) Posted notes: The Ambiguous Choice Operator and Continuations (page 1)	October 25, 2019 Lab 6 lab6.rkt Lazy Lists	Due October 29, 2019 Exercise 6 ex6.rkt Ex6.hs Ex6Types.hs OOP Accessor Functions Working with Haskell Generating Expressions
Week 7	October 30, 2019 Delimited Continuations (Shift/Reset) The Ambiguous Choice Operator Slides amb_simple.rkt Racket shell output LEC0101 [txt] Racket shell output LEC0102 [txt] Materials Posted notes: The Ambiguous Choice Operator and Continuations (page 1-7) Just for fun Why the names "shift" and "reset"?	November 1, 2019 Lab 7: Midterm Takeup Please attend the takeup session that you are interested in: LEC0101 midterm in room DH2020 LEC0102 midterm in room DH2026	Due November 5, 2019 Exercise 7 ex7.rkt Enumerating Continuations
Week 8	November 6, 2019 Using the -< operator Logic Programming Slides lec08_0101.rkt lec08_0102.rkt lec08_examples0101.rkt lec08_examples0102.rkt Materials Posted notes: The Ambiguous Choice Operator and Continuations (page 8-11) Posted notes: Predicates and Backtracking	November 8, 2019 Lab 8 lab8.rkt streams.rkt ambs.rkt Ambiguous Choice Operator	Due November 12, 2019 Exercise 8 ex8.rkt amb.rkt streams.rkt p096_sudoku.txt
Week 9	November 13, 2019 Types & Type Systems Haskell's Type System Slides Materials Course Notes pg.109-124	November 15, 2019 Lab 9 Lab9.hs Polymorphism in Haskell	Due November 19, 2019 Exercise 9 Ex9.hs Ex9Types.hs
Week 10	November 20, 2019 Type Classes Ad hoc polymorphism Time for exercise 10 and assignment 2 Slides Materials Course Notes pg.124-130 Additional TA Office hours Tuesday Nov 19, 5:30pm-7p CC2110 (James) Thursday Nov 21, 4:30pm-6pm CC2110 (James)	November 22, 2019 Lab 10 Lab10.hs Polymorphism in Haskell	Due November 26, 2019 Exercise 10 Ex10.hs Ex10Bork.hs Ex10Types.hs
Week 11	November 27, 2019 Functors Failing Computations Graduate School Time for assignment 2 Slides Materials Course Notes pg.130-143 Additional TA Office hours Tuesday Nov 26, 5:30pm-7p CC2110 (James) Thursday Nov 28, 4:30pm-6pm CC2110 (James)	November 29, 2019 Lab 11 Time for Assignment 2	Due December 3, 2019 Assignment 2 CPSBork.hs Ex10Bork.hs A2 Grading
Week 12	December 4, 2019 Maintaining States Monads Slides (wip) Materials Course Notes pg.146-150 A fistful of monads Monads are burritos? Additional TA Office hours Tuesday Dec 3, 5:30pm-7p CC2110 (James)	Exam Jam December 5, 3pm-4pm, IB 245
Final Examination Schedule