Fix dates on the initial C4 posts

dmiller · dmiller · commit f6ebe4b0422f · 2025-09-04T22:50:38.000-04:00
diff --git a/_posts/2025-08-31-classic-clojure-compiler-contemplation.md b/_posts/2025-08-31-classic-clojure-compiler-contemplation.md
@@ -1,7 +1,7 @@
 ---
 layout: post
 title: C4 - Classic Clojure Compiler Contemplation
-date: 2025-09-30 00:00:00 -0500
+date: 2025-08-31 00:00:00 -0500
 categories: general
 ---
 
@@ -10,13 +10,15 @@ In this post, we look at the overall structure of the compiler.
 
 The other posts in the series are:
 
-- [C4: AST me anything]({{site.baseurl}}{% post_url 2025-10-01-AST-me-anything}) - A tour of the AST nodes produced by the compiler
-- [C4: Symbolic of what?]({{site.baseurl}}{% post_url 2025-10-02-symbolic-of-what}) - A little digression on what symbols represent
-- [C4: ISeq clarity]({{site.baseurl}}{% post_url 2025-10-03-iseq-clarity}) - How to analyze an `ISeq`
-- [C4: Functional anatomy]({{site.baseurl}}{% post_url 2025-10-04-functional-anatomy}) - How functions are implemented in Clojure
+- [C4: AST me anything]({{site.baseurl}}{% post_url 2025-09-01-AST-me-anything}) - A tour of the AST nodes produced by the compiler
+- [C4: Symbolic of what?]({{site.baseurl}}{% post_url 2025-09-02-symbolic-of-what}) - A little digression on what symbols represent
+- [C4: ISeq clarity]({{site.baseurl}}{% post_url 2025-09-03-iseq-clarity}) - How to analyze an `ISeq`
+- [C4: Functional anatomy]({{site.baseurl}}{% post_url 2025-09-04-functional-anatomy}) - How functions are implemented in Clojure
 - __C4: The fn*: talkin' 'bout my generation__ - Code-gen for functions
 - __C4: How type-ical__ - Type analysis by the compiler
 - __C4: I have something to emit__ - More on code generation
+- __C4: A time for reflection__ -- Reflection and dynamic callsites
+- __C4: Is there a protocol for that?__ -- Protocols
 
 ## The terms of discussion
 
diff --git a/_posts/2025-10-01-AST-me-anything.md b/_posts/2025-10-01-AST-me-anything.md
@@ -1,7 +1,7 @@
 ---
 layout: post
 title: C4 - AST me anything
-date: 2025-10-01 00:00:00 -0500
+date: 2025-09-01 00:00:00 -0500
 categories: general
 ---
 
@@ -245,5 +245,5 @@ The main body of the `Compiler.Analyze` method just steps through a series of te
 The node types mentioned in this list from a very small subset of the all the node types.
 Here we see pretty much a few data-oriented node types.  Clearly the `Symbol` and `ISeq` analyzers are doing the heavy lifting.  Enough that each gets its own post:
 
-- [Symbolic of what?]({{site.baseurl}}{% post_url 2025-10-02-symbolic-of-what})
-- [ISeq clarity]({{site.baseurl}}{% post_url 2025-10-03-iseq-clarity})
+- [Symbolic of what?]({{site.baseurl}}{% post_url 2025-09-02-symbolic-of-what})
+- [ISeq clarity]({{site.baseurl}}{% post_url 2025-09-03-iseq-clarity})
diff --git a/_posts/2025-10-02-symbolic-of-what.md b/_posts/2025-10-02-symbolic-of-what.md
@@ -1,7 +1,7 @@
 ---
 layout: post
 title: C4 - Symbolic of what?
-date: 2025-10-02 00:00:00 -0500
+date: 2025-09-02 00:00:00 -0500
 categories: general
 ---
 
@@ -258,7 +258,7 @@ private static object ResolveIn(Namespace n, Symbol symbol, bool allowPrivate)
 
 To finish of this code, some brief comments on a few of the auxiliary methods mentioned above.
 
-`Compiler.ReferenceLocal` is called when we have identified a reference to a local binding.  It does some bookkeeping needed for code-gen.  Specifically, it notes the usage of the local binding in the containing function (if there is one) and any functions above that is might be nested in.  This is so that we know to close over those variables when creating an instance of the function.  It also notes if the local variable is the `this` variable; reference to `this` precludes static linking.  But more about that in [C4: Functional anatomy]({{site.baseurl}}{% post_url 2025-10-04-functional-anatomy}).
+`Compiler.ReferenceLocal` is called when we have identified a reference to a local binding.  It does some bookkeeping needed for code-gen.  Specifically, it notes the usage of the local binding in the containing function (if there is one) and any functions above that is might be nested in.  This is so that we know to close over those variables when creating an instance of the function.  It also notes if the local variable is the `this` variable; reference to `this` precludes static linking.  But more about that in [C4: Functional anatomy]({{site.baseurl}}{% post_url 2025-09-04-functional-anatomy}).
 
 `Compiler.RegisterVar` is similar.  It just notes the reference to the `Var` in the containing function (if there is one).  A field in the class implementing the function will be created and initialized to the `Var` in question.
 
@@ -288,7 +288,7 @@ These are when the symbol does not have a namespace:
 - `ns` -- treated as a special case -- always found
 - name found in current namespace (return var)  (there are variants in the resolve/lookup code that will create the `Var` if not found)
 
-Several kinds of AST nodes can be created from symbols.  The details of node types are covered in [C4: AST me anything]({{site.baseurl}}{% post_url 2025-10-01-AST-me-anything}).   For symbols with a namespace:
+Several kinds of AST nodes can be created from symbols.  The details of node types are covered in [C4: AST me anything]({{site.baseurl}}{% post_url 2025-09-01-AST-me-anything}).   For symbols with a namespace:
 
 - ns/name, ns names a `Type`, that type has a field or property with the given name  => `StaticFieldExpr` or `StaticPropertyExpr`
 - ns/name, ns names a `Type`, no field or property found, name does not start with a period  => `QualifiedMethodExpr`, Static 
diff --git a/_posts/2025-10-03-iseq-clarity.md b/_posts/2025-10-03-iseq-clarity.md
@@ -1,7 +1,7 @@
 ---
 layout: post
 title: C4 - ISeq clarity
-date: 2025-10-03 00:00:00 -0500
+date: 2025-09-03 00:00:00 -0500
 categories: general
 ---
 
@@ -94,13 +94,13 @@ The following special cases are handled:
     - we are not in an 'evaluation context' (more on that some other day).
     - the `Var` is not marked as dynamic, does not have metatdata `:redef` = true, and does not have metadata ':declared' = true
     - The Var is bound to a class that has an `invokeStatic` method with a matching number of arguments
-    I discussed static invocation in another blog post, [The function of naming; the naming of functions]({{site.baseurl}}{% post_url 2025-02-28-function-naming}).  It also will be discussed in [C4: Functional anatomy]({{site.baseurl}}{% post_url 2025-10-04-functional-anatomy}).
+    I discussed static invocation in another blog post, [The function of naming; the naming of functions]({{site.baseurl}}{% post_url 2025-02-28-function-naming}).  It also will be discussed in [C4: Functional anatomy]({{site.baseurl}}{% post_url 2025-09-04-functional-anatomy}).
 
 - primitive invocation.  We create an AST node of type `InstanceMethodExpr` to invoke the `.invokePrim` method of the function.  The conditions are:
     - `fexpr` is a `VarExpr`
     - the `Var` is bound to a class that has an `invokePrim` method with a matching number of arguments  (determined by looking at the `:arglists` metadata on the `Var`)
     - we are not in an 'evaluation context' (more on that some other day).
-    We will discuss this in more detail in [C4: Functional anatomy]({{site.baseurl}}{% post_url 2025-10-04-functional-anatomy}).
+    We will discuss this in more detail in [C4: Functional anatomy]({{site.baseurl}}{% post_url 2025-09-04-functional-anatomy}).
 
 - keyword invocation.  When our form looks like `(:keyword coll)`, we create an AST node of type `KeywordInvokeExpr`.  The conditions are:
     - `fexpr` is a `KeywordExpr`
diff --git a/_posts/2025-10-04-functional-anatomy.md b/_posts/2025-10-04-functional-anatomy.md
@@ -1,7 +1,7 @@
 ---
 layout: post
 title: C4 - Functional anatomy
-date: 2025-10-04 00:00:00 -0500
+date: 2025-09-04 00:00:00 -0500
 categories: general
 ---
 
@@ -288,7 +288,7 @@ I'll leave `applyTo` as an exercise.
 
 ## Static invocation
 
-In the previous post [C4: ISeq clarity]({{site.baseurl}}{% post_url 2025-10-03-iseq-clarity}), I touched upon the notion of static invocation of functions.  Static invocation is an efficiency hack.  It allows a call such as
+In the previous post [C4: ISeq clarity]({{site.baseurl}}{% post_url 2025-09-03-iseq-clarity}), I touched upon the notion of static invocation of functions.  Static invocation is an efficiency hack.  It allows a call such as
 
 ```Clojure
 (f 1 2 3)
