Differences

This shows you the differences between two versions of the page.

--- creating:closures [2025/08/26 23:44] – Created safety checking page ahelwer
+++ creating:closures [2025/09/02 19:27] (current) – Added stub ahelwer
@@ Line 1: / Line 1: @@
-======= Model-Checking Safety Properties =======
+======= Parameters as Closures =======
-This has been a long journey.
+Remember way back at the start of the [[creating:operators|Functions, Operators, and Parameters]] chapter when operators were described as being like macros?
-We learned scanning, then parsing, then how to interpret basic constant expressions.
+This was very literal - the expressions provided as parameters to an operator should be substituted into the operator body itself, //then// evaluated.
-Statements were added next, then we learned to parse conjunction & disjunction lists.
+Instead, we evaluated the operator parameters first, //then// substituted the resulting values into the operator body.
-Finally, we learned how to apply operators and move between states.
+This didn't matter before implementing the prime operator, but
-Everything is in place; it is time to write a TLA⁺ model-checker.
+TODO
+[[creating:safety|< Previous Page]] | [[creating:start#table_of_contents|Table of Contents]]