From c09099789e80462f6e59d5f554735b2fdbfcc23b Mon Sep 17 00:00:00 2001 From: jim Date: Sun, 22 Mar 2015 22:33:24 -0400 Subject: [PATCH 1/1] post safe division, rename/reorg a bit --- content.mdwn | 20 ++++++++++++++------ 1 file changed, 14 insertions(+), 6 deletions(-) diff --git a/content.mdwn b/content.mdwn index 5d8dbb11..7edf9af8 100644 --- a/content.mdwn +++ b/content.mdwn @@ -21,15 +21,14 @@ week in which they were introduced. * Types in OCaml and Haskell (will be posted someday) * Practical advice for working with OCaml and/or Haskell (will be posted someday) * [[Kaplan on Plexy|topics/week6_plexy]] and the Maybe type - * Lambda evaluator - * [[Introducing Monads|topics/week7_introducing_monads]] + * Untyped lambda evaluator ([[in browser|code/lambda_evaluator]]) (for home) * Order, "static versus dynamic" * [[Order in programming languages and natural language|topics/week1 order]] * [[Reduction Strategies and Normal Forms in the Lambda Calculus|topics/week3_evaluation_order]] * [[Unit and its usefulness|topics/week3 unit]] - * [[Combinatory evaluator|topics/week7_combinatory_evaluator]] + * Combinatory evaluator ([[for home|topics/week7_combinatory_evaluator]]) * The Untyped Lambda Calculus @@ -46,19 +45,24 @@ week in which they were introduced. * [[Reduction Strategies and Normal Forms|topics/week3_evaluation_order]] * [[Fixed point combinators|topics/week4_fixed_point_combinators]] * [[More about fixed point combinators|topics/week4_more_about_fixed_point_combinators]] - * Interpreter for Lambda terms + * Untyped lambda evaluator ([[in browser|code/lambda_evaluator]]) (for home) * Combinatory logic * [[Introduction|topics/week3 combinatory logic]] - * [[Combinatory evaluator|topics/week7_combinatory_evaluator]] + * Combinatory evaluator ([[for home|topics/week7_combinatory_evaluator]]) * Typed Lambda Calculi * [[Simply-typed lambda calculus|topics/week5 simply typed]] (will be updated) * [[System F|topics/week5 system F]] (will be updated) * Types in OCaml and Haskell (will be posted someday) + * see also Monads links, below + +* Monads * [[Introducing Monads|topics/week7_introducing_monads]] + * [[Safe division with monads|topics/week8_safe_division_with_monads]] + ## Topics by week ## @@ -117,6 +121,10 @@ Week 6: Week 7: * [[Combinatory evaluator|topics/week7_combinatory_evaluator]] -* Lambda evaluator (will be posted soon) +* Untyped lambda evaluator (will be posted soon) * [[Introducing Monads|topics/week7_introducing_monads]] (updated Fri 20 Mar) * [[Homework for week 7|exercises/assignment7]] + +Week 8: + * [[Safe division with monads|topics/week8_safe_division_with_monads]] + -- 2.11.0