Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Lecture Schedule (In Progress)

 

Homework 5

Nov 12Nov 12 

Week

Day

Date

Lecture Topic and Resources

Work AssignedWork Due

1

Tu

Aug 27

Motivation and the Elements (Constants) of Racket

HTDP Part 1 (Ch 1-8)Sep 03
 ThAug 29[Canceled for Hurricane Laura] Sep 05

2

Tu

Sep 01

Conditionals, Function Definitions and Computation by Reduction

Homework 1

Review Ch 8

HTDP Part 2 (Ch 9-10)

Sep 08
3ThSep 03

The Program Design Recipe for Racket focusing on using recursion

on processing to process lists and natural numbers

Preface, 9.4

HTDP Part 2 (Ch 11-13)

Sep 10

4

Tu

Sep 08

Data Definitions, Data-driven Structural Recursion,

Homework 2

HTDP Part 3

Sep 16
5ThSep 10Mutually Recursive Definitions and Help FunctionsHTDP Ch 15-17Sep 17

6

Tu

Sep 15

Local Definitions and Lexical Scope

Homework 3

 HTDP Parts 5-6

Sep 23

7

Th

Sep 17

Lambda the Ultimate and Reduction Semantics

LawsOfEval.pdfSep 26

8

TuSep 19

 

Functional Abstraction and Polymorphism  Oct 6

9

Th

Sep 24

Functions as Values

Homework 4Oct 5

10

Tu

Sep 29

Generative (Non-structural) Recursion

 

 Oct 6

11

Th

Oct 01

Lazy Evaluation and Non-strict Constructors

  

12

Tu

Oct 06

Techniques for Implementing Lazy Evaluation

Homework 5*Oct 14

13

Th

Oct 08

A Glimpse at Imperative Raceket Racket and Memoization

  

 

Tu

Oct 13

Racket Review

Sample Exam

Sample Exam Key

 

13

Th

Oct 15

On to Java!

OO Design Notes 
 FriOct 16Midterm  

14

Tu

Oct 22

Adapting the HTDP Design Recipe to JavaHomework 6 Oct 27

15

Th

Oct 24

Generic Types Higher-order Functional Programming in Java

  

16

Tu

Oct 29

Anonymous class instances vs anonymous functions

Homework 8*

Four Key Idioms for Encoding FP in Java

Homework 7Nov 6

17

Th

Oct 31Pure Lambda Calculus; Call-by-value vs call-by-name

The Singleton and Visitor Patterns

  

18

Tu

Nov 05

Typed Lambda Calculus

Homework 9#

03

Java Generics and Their Role in FP in Java

Homework 8*Nov 16

19

Th

Nov 07Polymorphic Lambda Calculus & Implicitly Polymorphic Lambda Calculus05

The Strategy Pattern: Functions as Arguments in Java

  

20

Tu

Nov 1210

Core Haskell (call-by-name, lazy constructors) (Agnishom)

Homework 10 Nov 19 

21

Th

Nov 1412

Haskell Pattern Matching (Agnishom)

 Homework 9 Nov 19

22

Tu

Nov 1917

Haskell Type Classes (Agnishom)

Homework 11 Dec 16

23

Th

Nov 2119

Racket letcc; Semantics of Haskell Exceptions

Haskell Monads (Agnishom)

Final Project** 

*Assignments marked with * are double assignments that count twice as much as regular assignments.  **indicates the project in lieu of a final examination.