Commit Graph

1530 Commits

Author SHA1 Message Date
Tony Garnock-Jones fe6e83f19e Switch from prefab to transparent for actor link structures. 2016-03-08 10:59:10 +00:00
Tony Garnock-Jones f221063441 All-pairs shortest paths examples 2016-03-08 10:53:49 +00:00
Tony Garnock-Jones 5a9e51c640 Other implementations 2016-03-07 17:23:06 +00:00
Tony Garnock-Jones 54056da195 2016-03-07 17:22:15 +00:00
Tony Garnock-Jones a7a23e29b4 Remove obsolete comments 2016-03-07 11:23:10 +00:00
Sam Caldwell cd490853ba fix and add a new comprehension test case 2016-03-04 18:16:36 -05:00
Sam Caldwell 326f1e34c1 document the during form 2016-03-04 15:52:38 -05:00
Sam Caldwell 27952df0c3 Add scribble documentation for high-level syntax 2016-03-04 15:40:07 -05:00
Tony Garnock-Jones 2a754624ef Remove exn-util.rkt, because since 6.3 racket/exn exists. 2016-03-03 17:31:53 -05:00
Tony Garnock-Jones 30a5a924a3 More tweaks 2016-03-01 17:00:57 -05:00
Tony Garnock-Jones ed3877e7b1 Use match-event more 2016-03-01 16:56:58 -05:00
Tony Garnock-Jones a71e138e79 Entersenate. 2016-03-01 16:48:28 -05:00
Tony Garnock-Jones c0b84e1915 Add match-event and accept void from behaviour functions 2016-03-01 16:45:29 -05:00
Tony Garnock-Jones 44b0903c91 Very toy "spreadsheet" 2016-02-29 23:35:19 -05:00
Tony Garnock-Jones 6e3e0fc8bc Remove debug printing 2016-02-29 15:20:03 -05:00
Tony Garnock-Jones 73119c323f Avoid use of for-trie in example for PLACES paper 2016-02-29 13:44:45 -05:00
Tony Garnock-Jones 79ea380afc Update file purpose statement 2016-02-29 10:51:36 -05:00
Tony Garnock-Jones 07785e9232 Add "during". 2016-02-29 10:26:17 -05:00
Tony Garnock-Jones 5b328a1786 More file system variations 2016-02-29 09:43:25 -05:00
Tony Garnock-Jones f8f61dd43d Comprehensions now support internal definitions. 2016-02-29 09:21:05 -05:00
Tony Garnock-Jones 7fc1554230 Support internal definitions in comprehension macros. 2016-02-29 09:20:21 -05:00
Tony Garnock-Jones 95456a4fd5 Use for-trie/list in file-system-lll 2016-02-29 09:15:29 -05:00
Sam Caldwell 5d2cb21d29 Use finer-grained projections inside trie comprehensions
Fixes HEAD~2
2016-02-28 21:49:30 -05:00
Tony Garnock-Jones 438151f092 Low-level implementation of file system. 2016-02-28 21:33:53 -05:00
Tony Garnock-Jones 8832a22b30 Add a failing test case to comprehensions.rkt 2016-02-28 20:32:29 -05:00
Sam Caldwell cd492df0c4 undo my stupid macrology 2016-02-27 21:13:37 -05:00
Sam Caldwell 874ba60f06 use trie comprehension in bank account example 2016-02-22 23:35:11 -05:00
Sam Caldwell aa4e4afdde fix trie comprehension hygiene-bending 2016-02-22 23:35:11 -05:00
Tony Garnock-Jones 62c0ce18a4 Comment explaining a little of the motivation for the previous commit. 2016-02-20 11:41:07 -05:00
Tony Garnock-Jones 92be8eaf70 Only respond to link-results that are genuinely intended for us.
This can be a concern if some facet subscribes to wildcard. An improved design
would ensure facets only receive events that fall within its interests.
2016-02-19 20:10:26 -05:00
Sam Caldwell 96fe9f46e1 add an effectful trie comprehension 2016-02-19 18:46:59 -05:00
Sam Caldwell b7775efd9b Raise an error when trying to iterate over an infinite trie 2016-02-19 15:38:43 -05:00
Sam Caldwell a045d54071 Bind variables in lexical order
Fixes #12
2016-02-12 19:30:00 -05:00
Tony Garnock-Jones 935fb98a1f Echo-cancel assertions, following syndicate/racket. 2016-02-11 23:56:42 -05:00
Tony Garnock-Jones 817bfd7517 When acting-pid is 'meta, take the entire delta as the delta-aggregate.
This is correct because now that we have echo-cancelled SCNs, incoming
SCNs from the metalevel are *always* new information for the contained
actors.
2016-02-11 23:50:37 -05:00
Tony Garnock-Jones e9b431c50f triePruneBranch; preparation for echo-cancellation of SCNs 2016-02-11 22:51:26 -05:00
Tony Garnock-Jones c3b2df00cd Compute affected peers by the aggregate change, not the incoming action. 2016-02-11 22:28:04 -05:00
Tony Garnock-Jones 01b6bf92ee Echo cancellation for prospect. 2016-02-11 22:26:53 -05:00
Tony Garnock-Jones fd7dc03dc6 Echo cancellation for prospect-monolithic. Still deciding how best to address incremental variant. 2016-02-07 19:32:38 -05:00
Tony Garnock-Jones 1b05122db4 Fix monolithic pretty-printing of SCNs 2016-02-07 16:17:47 -05:00
Tony Garnock-Jones 1e4415e30b Failing test case, more or less. 2016-02-07 16:17:20 -05:00
Tony Garnock-Jones d29fb17ad6 Update README. 2016-02-07 14:46:42 -05:00
Tony Garnock-Jones 4f94c8702e Rename syndicate.js to network.js 2016-02-07 14:39:09 -05:00
Tony Garnock-Jones 0e7a6375e9 Escape text, and make spaces display properly. 2016-02-07 14:25:52 -05:00
Tony Garnock-Jones 49d11b1a73 Fix two major subtraction-related bugs in Route union and intersect.
Moved a bunch of lookup logic into rlookupWild, which let me delete a
lot of special-purpose and flawed code. It is clearly heading toward
being properly-refactored, like the Racket implementation (and the
ESOP2016 paper's presentation) is. The performance problems may
interrupt this gradual evolution before it is complete, though:
hopefully I will be able to move to an explicitly memory-managed
scheme soon.
2016-02-07 14:18:57 -05:00
Tony Garnock-Jones df0ff273b1 Mostly-working textfield example. 2016-02-06 22:05:25 -05:00
Tony Garnock-Jones 8c3aeec6ad Failing test 2016-02-06 22:05:07 -05:00
Tony Garnock-Jones e02755c701 Improve patch pretty-printing 2016-02-06 21:56:47 -05:00
Tony Garnock-Jones 6d028f00c5 Seal DOMFragment specifications. 2016-02-06 15:06:59 -05:00
Tony Garnock-Jones afa657096a Introduce Syndicate.Ack() to reliably detect lack of demand in DOMFragment. 2016-02-06 14:32:42 -05:00