CSc 372 Comparative Programming Languages - Schedule

Introduction

Lecture #1, Mon, Aug 23: Administrivia, Introduction

• Grading policy
• Course content
• Read Admin handout #0
• Introduction to Scheme, Prolog, Haskell, and Icon
• Read Lecture note #1
• Read here.
• Apply for an account on the lectura machine.

Lecture #2, Wed, Aug 25: Introduction to Functional Programming[1]

• Introduction to functional programming.
• Read Lecture note #2

Scheme

Lecture #3, Fri, Aug 27: Scheme [1]: Introduction to Scheme

• Numbers.
• Read Lecture note #3
• Read HTDP, Section 2
• Read HTDP, Section 3
• Download and install Dr Scheme on your home machine, if you have one.
• Play with Dr Scheme, either on lectura or one of the Windows machines in the lab. On lectura, run /usr/local/plt/bin/drscheme. Make sure to set language to intermediate student in the Language menue.
• Take the Dr Scheme Tour!

Lecture #4, Mon, Aug 30: Scheme [2]: Definitions

• Tracing function applications
• Tests and conditional execution
• Read Lecture note #5
• Read HTDP, Section 4
• Read HTDP, Section 5
• Read HTDP, Section 7
• Play with Dr Scheme's tracing tool.
• Draw a simple figure in Dr Scheme. Start by loading the draw.ss package, by selecting Language:Add Teachpack:htdp:draw.ss.

Lecture #5, Wed, Sep 1: Scheme [3]: List processing

• Recursive function definitions
• Symbols and Structures
• Read HTDP, Section 6
• Read Lecture note #6
• List processing
• Read HTDP, Section 9.1
• Assignment 1 (Scheme I) out

Lecture #6, Fri, Sep 3: Scheme [4]: Shallow recursion

• List processing
• Read HTDP, Section 9.3
• Read HTDP, Section 9.4
• Read HTDP, Section 9.5

Lecture #7, Wed, Sep 8: Scheme [5]: Deep recursion

• Nested data structures
• Deep recursion over lists of lists
• Assignment 1 (Scheme I) due.
• Assignment 2 (Scheme II) out.
• Read HTDP, Section 14

Lecture #8, Fri, Sep 10: Scheme [6]: Recursive functions

• More on recursive functions
• Read HTDP, Section 17

Lecture #9, Mon, Sep 13: Scheme [7]: Examples

• Examples of Scheme functions
• Read HTDP, Section 10.1

Lecture #10, Wed, Sep 15: Scheme [8]: Higher Order Functions

• History of LISP and Scheme
• Read Lecture note #4
• Assignment 2 (Scheme II) due.
• Assignment 3 (Scheme III) out.
• Higher-order functions.
• Read Lecture note #8

Prolog

Lecture #11, Fri, Sep 17: Prolog [1]: Introduction to Prolog

• Prolog syntax
• How Prolog answers questions
• Read Lecture note #9
• Read Clocksin-Mellish, Chapter 1-2.
• Read The GNU Prolog interactive interpreter

Lecture #12, Mon, Sep 20: Prolog [2]: Prolog Basics

• Prolog Basics
• Read Lecture note #10

Lecture #13, Wed, Sep 22: Prolog [3]: Prolog Basics

Prolog Basics

• Prolog Basics
• Read Prolog handout III
• Assignment 3 (Scheme III) due.
• Assignment 4 (Prolog I) out.

Lecture #14, Fri, Sep 24: Scheme [9]: Scheme test

• Scheme test

Lecture #15, Mon, Sep 27: Prolog [4]: Prolog Structures

• Brain-dump about the Scheme test
• Read Lecture note #11

Lecture #16, Wed, Sep 29: Prolog [5]: Prolog Lists

• Prolog lists
• Append
• Read Lecture note #14

Lecture #17, Fri, Oct 1: Prolog [6]: Prolog lists

• Prolog matching and execution
• Read Lecture note #12
• Read Lecture note #13
• Assignment 4 (Prolog I) due.

Lecture #18, Mon, Oct 4: Prolog [7]: The Prolog Database

• The Prolog Database
• assert, retract
• Assignment 5 (Prolog II) out.
• Read Prolog handout VI

Lecture #19, Wed, Oct 6: Prolog [8]: Programming techniques

• Prolog programming techniques
• Generate and Test
• Read Prolog handout VII

Lecture #20, Fri, Oct 8: Prolog [9]: Prolog Grammar Rules

• Prolog Grammar Rules
• Read Prolog handout VIII

Lecture #21, Mon, Oct 11: Prolog [10]: Prolog Grammar Rules

• Assignment 5 (Prolog II) due.
• Assignment 6 (Prolog III) out.
• Prolog Grammar Rules

Lecture #22, Wed, Oct 13: Prolog [11]: Large Prolog Example

• Prolog Grammar Rules

Lecture #23, Fri, Oct 15: Prolog [12]: Second-Order Programming

• setof and bagof
• Read Prolog handout VIII

Lecture #24, Mon, Oct 18: Prolog [13]: Large Prolog Example

• Large Prolog Example

---

Haskell

Lecture #25, Wed, Oct 20: Haskell [1]: Introduction to Haskell

• Introduction to Haskell
• Assignment 6 (Prolog III) due.

Lecture #26, Fri, Oct 22: Haskell [2]: Introduction to Haskell

• Read Lecture note #20
• Introduction to Haskell

Lecture #27, Mon, Oct 25: Prolog [14]: Some title

• Prolog practice for test
• Christian away, class as usual.

Lecture #28, Wed, Oct 27: Haskell [3]: Some title

• Read Lecture note #21
• Haskell basics, types, commands, etc.

Lecture #29, Fri, Oct 29: Prolog [15]: Prolog test

• Prolog test
• Assignment 7 (Haskell I) out.

Lecture #30, Mon, Nov 1: Haskell [4]: Function definitions

• Read Lecture note #22
• Function definitions

Lecture #31, Wed, Nov 3: Haskell [5]: Patterns

• Read Lecture note #23
• Patterns

Lecture #32, Fri, Nov 5: Haskell [6]: Recursive functions

• Recursive functions
• Read Lecture note #24
• Assignment 7 (Haskell I) due.

Lecture #33, Mon, Nov 8: Haskell [7]: Recursive functions

• Recursive functions

Lecture #34, Wed, Nov 10: Haskell [8]: Curried Functions

• Assignment 8 (Haskell II) out.
• Read Lecture note #25
• Curried Functions

Lecture #35, Fri, Nov 12: Haskell [9]: Higher-Order Functions

• Read Lecture note #26
• Higher-Order Functions

Lecture #36, Mon, Nov 15: Haskell [10]: Function composition

• Read Lecture note #27
• Function composition

Lecture #37, Wed, Nov 17: Haskell [10]: Data types, lazy evaluation

• Read Lecture note #28
• Read Lecture note #29
• Haskell Data types, Lazy evaluation.

Icon

Lecture #38, Fri, Nov 19: Icon [1]: Introduction to Icon

• Assignment 8 (Haskell II) due.
• Introduction to Icon

Lecture #39, Mon, Nov 22: Icon [2]: Some title

• Some topic
• Assignment 10 (Icon I) out

Lecture #40, Wed, Nov 24: Icon [3]: Some title

• Some topic

Lecture #41, Mon, Nov 29: Haskell [11]: Haskell test

• Haskell test

Lecture #42, Wed, Dec 1: Icon [4]: Some title

• Some topic
• Assignment 10 (Icon I) due.
• Assignment 11 (Icon II) out.

Lecture #43, Fri, Dec 3: Icon [5]: Some title

• Some topic

Lecture #44, Mon, Dec 6: Icon [6]: Some title

• Some topic

Lecture #45, Wed, Dec 8: Icon [7]: Some title

• Some topic
• Assignment 11 (Icon II) due.