Commit Graph

19 Commits

Author SHA1 Message Date
Tony Garnock-Jones 581886835a New dataspace pattern implementation; update HTTP server 2024-04-10 17:03:09 +02:00
Tony Garnock-Jones 0f2d9239f9 Remove now-retired Float references 2024-02-03 15:24:28 +01:00
Tony Garnock-Jones 833be7b293 Update attenuations 2023-02-06 14:48:18 +01:00
Tony Garnock-Jones ec8ba36d6a Add `stringify` quasi-function 2022-03-01 10:02:30 +01:00
Tony Garnock-Jones e600d59f6e Conditional match expressions. I can't help but feel I'm committing some kind of crime against programming language design here. 2022-01-20 10:17:15 +01:00
Tony Garnock-Jones b810784750 Script `+=` operator; sketch of `=~` operator 2022-01-15 23:22:51 +01:00
Tony Garnock-Jones 9453408e42 Propagate script compilation errors properly. 2022-01-15 23:22:13 +01:00
Tony Garnock-Jones 2b296d79c7 Repair error in dataspace assertion idempotency.
If a facet, during X, asserts X, for all X, then X includes all
`Observe` assertions. Assertion of X should be a no-op (though
subsequent retractions of X will have no effect!) since duplicates are
ignored. However, the implementation had been ignoring whether it had
seen `Observe` assertions before, and was *always* (re)placing them
into the index, leading to runaway growth.

The repair is to only process `Observe` records on first assertion and
last retraction.

As part of this change, Dataspaces have been given names, and some
cruft from the previous implementation has been removed.
2022-01-15 23:18:29 +01:00
Tony Garnock-Jones 7fbe6360e7 Support patterns like <?r <Something _ _ _>> 2022-01-12 12:28:03 +01:00
Tony Garnock-Jones f5b1fec90f Follow simplifications to sturdy caveats 2021-12-13 16:00:25 +01:00
Tony Garnock-Jones a831b02ca5 Accommodate changes to dataspacePatterns 2021-12-13 15:43:24 +01:00
Tony Garnock-Jones f8ca9b9c89 Current-facet-handle expression 2021-11-17 08:45:56 +01:00
Tony Garnock-Jones ce743fa934 Repair bug: environments should have symbol keys, not string keys 2021-11-14 15:47:12 +01:00
Tony Garnock-Jones 13a0100ad8 Add OnStop (though I'm not sure about it as a permanent feature! The syntax is gross) 2021-10-13 12:13:19 +02:00
Tony Garnock-Jones e101258473 Message handling 2021-10-07 22:03:29 +02:00
Tony Garnock-Jones c51f6b2a4e Repair off-by-one in error message 2021-10-07 21:29:13 +02:00
Tony Garnock-Jones 733037f41b "timestamp" expression 2021-10-07 21:29:01 +02:00
Tony Garnock-Jones 0837606ca7 Message sending 2021-10-07 21:28:47 +02:00
Tony Garnock-Jones 40025b90a6 More capability-oriented scripting language 2021-10-07 17:00:04 +02:00