Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
| creating:closures [2025/08/27 18:44] – Accidentally created modelchecker page here ahelwer | creating:closures [2025/09/02 19:27] (current) – Added stub ahelwer | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | ======= Parameters as Closures ======= | ||
| + | |||
| + | Remember way back at the start of the [[creating: | ||
| + | This was very literal - the expressions provided as parameters to an operator should be substituted into the operator body itself, //then// evaluated. | ||
| + | Instead, we evaluated the operator parameters first, //then// substituted the resulting values into the operator body. | ||
| + | This didn't matter before implementing the prime operator, but | ||
| + | |||
| + | TODO | ||
| + | |||
| + | [[creating: | ||