Lectures

• Students will need to use their Stony Brook University single sign-on (SSO) for access.

Lecture 1, Jan 28 (Wednesday)

• Programming Abstractions for Data Scientists: overview and philosophy, and case studies

Lecture 2, Feb 02 (Monday)

• The Python You Think You Know: Dynamic Typing, Reference Semantics, and Type Hints

Lecture 3, Feb 04 (Wednesday)

• Introduction to OCaml and Functional Programming

Lecture 4, Feb 09 (Monday)

• Introduction to OCaml and Functional Programming (ctd.)

Lecture 5, Feb 11 (Wednesday)

• Introduction to OCaml and Functional Programming (ctd.)

Lecture 6, Feb 16 (Monday)

• OCaml Data Types: type inference, records, tuples, recursive and algebraic data types (slides 27-46) | video

• Assignment 1 available (see Assignments page)

Lecture 7, Feb 18 (Wednesday)

• Guest Lecture by Yahya Tugrul on Algebraic Data Types (slides 47 onwards)

Lecture 8, Feb 25 (Wednesday)

• Algebraic Data Types (ctd.) (slides 47 onwards)

Lecture 9, Mar 02 (Monday)

• In-class discussion of Assignment 1

EXAM 1, Mar 04 (Wednesday)

Lecture 10, Mar 09 (Monday)

• Pattern matching, higher-order functions, and recursion on algebraic data types

Lecture 11, Mar 11 (Wednesday)

• Pattern matching, higher-order functions, and recursion on algebraic data types (ctd.)

!! SPRING BREAK !!

Lecture 12, Mar 23 (Monday)

• Type hints and mypy

Lecture 13, Mar 25 (Wednesday)

• Names, Bindings, and Scopes: Closures and Referencing Environments

Lecture 14, Mar 30 (Monday)

• Partial Functions and Parametrized Transformations

• In-class discussion of Assignment 2

EXAM 2, Apr 01 (Wednesday)

Lecture 15, Apr 06 (Monday)

• Type-Safe Pipeline Composition: dataclass and Pydantic

Lecture 16, Apr 08 (Wednesday)

• Lambda Calculus

Lecture 16, Apr 13 (Monday)

• Lambda Calculus (ctd.)