Versions Compared

Old Version 15

changes.mady.by.user Robert Cartwright

Saved on

compared with

New Version Current

changes.mady.by.user Nick Vrvilo

Saved on

Key

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

...

General Information

 

Course Syllabus
Homework Submission Guide
Office Hours
Instructors
NickTuesday, ThursdayAvailable after class—
Corky

Tuesday, Wednesday

Thursday

8:30-10:30am

1:30-3:00pm

DCH 3104

DCH 3104

Teaching Assistants
Ryuichi

?

Monday

Wednesday

11:30am-noon

After 5pm by appointment only?

DCH 3113

Textbooks
There is no required textbook. We will follow the pedagogic approach of "How to Design Programs" but in a typed context. We will also draw material from a variety of sources, including:
Online Videos
Development Environment

 

Lecture Schedule (Subject to Change Without Notice)

Conditional Functions on Ranges, Point Values, and Compound Datatypes

Semantics of Type Checking, Binary Methods, Abstract Datatypes

For Expressions, Monads, The Environment Model of Reduction

Call-by-Name, Environment Model of Type Checking, Generative Recursion 

Week

Day

Date

Lecture Topic and Resources

Work AssignedWork Due

1

Tu

Aug 27

Overview, Motivation

  
 ThAug 29Computation by Reduction, Types, Core ScalaHomework 0 

2

Tu

Sep 03

Ints, Doubles, Error Conditions, Programming with Intention

  
 ThSep 05The Design Recipe
BeakerX Notebook: Source, PDF		  

3

Tu

Sep 10

Conditionals, Functions on Ranges & Point Values, Compound Data
BeakerX Notebook A: Source, PDF
BeakerX Notebook B: Source, PDF

  
 ThSep 12Methods, Objects, Grading* Homework 0 

4

Tu

Sep 17

Abstract Datatypes*

Homework 1 Homework 0

 

Th

Sep 19

Abstract Datatypes (cont.), Recursively Defined Types*

  

5

Tu

Sep 24

Recursively Defined Types (cont.), Functions as Values*

  

 

Th

Sep 26

1st-Class Functions, Imports*

  

6

Tu

Oct 01

Variable Arity, Named Arguments, Exceptions, Format Strings*Varargs, String Interpolation, Packages

Homework 2Homework 1

 

Th

Oct 03

Exceptions, String Formatting, Generic Types*Generic Types, Type Hierarchy, Variance
Supplement: Producers and Consumers

  

7

Tu

Oct 08

Type Hierarchy, Variance, Generic Map Function*  

 

Th

Oct 10

Fold, Zip, Flatten, For Expressions*

  

8

Tu

Oct 15

Midterm Recess (no classes)

  

 

Th

Oct 17Operators*

Scala Immutable Collections, Call by Name

Homework 3Homework 2

9

Tu

Oct 22

Accumulators*Monads, For-expression desugaring  

 

Th

Oct 24

Operators, Accumulators
BeakerX Notebook: Source, PDFCall-by-Name/Value, Scala Immutable Collections*

  

10

Tu

Oct 29

Video: Growing a Language, by Guy L. Steele, Jr.*
Midterm Exam**Exam 1 at 7pm in DCH 1064

  

 

Th

Oct 31Call by Name, Traits, Mixins*

Scala Parser Combinators

  

11

Tu

Nov 05Scala Parser Combinators*

Lazy and Infinite Sequences

  

 

Th

Nov 07Streams

*Semantics of Exceptions

Homework 4Homework 3

12

Tu

Nov 12Monads, For-expression desugaring*

Traits and Mixins
BeakerX Notebook A: MTG with Mixins – Source, PDF
BeakerX Notebook B: Stackable Mixins – Source, PDF

  

 

Th

Nov 14.

..Additional Scala Features

  

13

Tu

Nov 19Additional Scala Features*

State Monad
BeakerX Notebook: Source, PDF

  

 

Th

Nov 21Semantics of Exceptions*

Video: What to Leave Implicit, by Martin Odersky

Homework 5Homework 4
14TuNov 26Videos: What to Leave Implicit and Impromptu*No Class  

 

Th

Nov 28

Thanksgiving Holiday (no classes)

  

15

Tu

Dec 03State Monad*

Course Wrap-Up

  
 ThDec 05Course Wrap-upExam 2 (in class) Homework 5
16TuDec 10Study Day (no classes)  

 

??Sat

Dec ??14

Final exam/project date scheduled by university
(last day to to submit assignments for this course)Final Exam**

  

* Lectures slides not yet updated from last year are marked with an asterisk.** The place and time of the exams are set by the registrar. The current scheduling details are available on the registrar's page for this course.