From 372cdc29f663944404da58a287e6588d1dec066d Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Fri, 17 Sep 2010 15:36:50 -0400 Subject: [PATCH 1/1] update schedule Signed-off-by: Jim Pryor --- notes_and_schedule.mdwn | 24 ++++++------------------ 1 file changed, 6 insertions(+), 18 deletions(-) diff --git a/notes_and_schedule.mdwn b/notes_and_schedule.mdwn index 4655c55f..9e481824 100644 --- a/notes_and_schedule.mdwn +++ b/notes_and_schedule.mdwn @@ -1,30 +1,18 @@ # Lecture Notes # [[Week1]] (13 Sept) Applications; Basics of Lambda Calculus; Comparing Different Languages - + +Week2 (20 Sept) Reduction and Convetibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers + +Week3 (27 Sept) Recursion with Fixed Point Combinators + +Introducing the notion of a "continuation", which technique we'll now already have used a few times # Still To Come # This is very sketchy at this point, but it should give a sense of our intended scope. -## More on the "pure" or untyped lambda calculus ## - -1. Eta reduction and "extensionality" -1. Different evaluation strategies (call by name, call by value, etc.) -1. Strongly normalizing vs weakly normalizing vs non-normalizing; Church-Rosser Theorem(s) -1. Lambda calculus compared to combinatorial logic

-1. Church-like encodings of numbers, defining addition and multiplication -1. Defining the predecessor function; alternate encodings for the numbers -1. Homogeneous sequences or "lists"; how they differ from pairs, triples, etc. -1. Representing lists as pairs -1. Representing lists as folds -1. Typical higher-order functions: map, filter, fold

-1. Recursion exploiting the fold-like representation of numbers and lists ([[!wikipedia Deforestation (computer science)]], [[!wikipedia Zipper (data structure)]]) -1. General recursion using omega -1. The Y combinator(s); more on evaluation strategies

-1. Introducing the notion of a "continuation", which technique we'll now already have used a few times - ## Types ## 1. Product or record types, e.g. pairs and triples -- 2.11.0