Tony Garnock-Jones
0003516d9d
random-instance
2016-03-10 23:29:14 +00:00
Tony Garnock-Jones
e780417355
Parameters for random-test defaults; random-test index-limit
2016-03-10 23:29:05 +00:00
Tony Garnock-Jones
88a5522d2f
Random testing based on data/enumerate
2016-03-10 18:25:35 +00:00
Tony Garnock-Jones
e7c9bcfa8f
Canonicalize treap-empty result
2016-03-10 18:24:56 +00:00
Tony Garnock-Jones
b9954c0f9e
Better printing of treaps
2016-03-10 18:24:48 +00:00
Tony Garnock-Jones
8cf886461e
alist-to-treap
2016-03-10 18:24:40 +00:00
Tony Garnock-Jones
ed2b5fed0e
Tweak hash-order to fall back to datum-order on equal hash codes.
2016-03-10 12:23:27 +00:00
Tony Garnock-Jones
226e909f2a
Additional test case. Somewhat confusing situation. Potential TODO
2016-03-10 12:23:27 +00:00
Sam Caldwell
fb40c147a8
rename highlevel scribbling
...
Because raco pain
2016-03-08 14:06:42 -05:00
Tony Garnock-Jones
b979dd9d70
Add descriptive comment.
2016-03-08 10:59:31 +00:00
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
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
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
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
1e4415e30b
Failing test case, more or less.
2016-02-07 16:17:20 -05:00
Tony Garnock-Jones
d5c4b30335
Use `continuation-prompt-available?` to support `actor` at prospect "toplevel".
2016-02-05 18:06:29 -05:00
Sam Caldwell
92169d5e10
use comprehension in box-and-client
2016-02-05 13:27:20 -05:00
Sam Caldwell
26966b9c34
Implement trie-comprehension macros
...
Trie comprehensions abstract the process of projecting one-or-more
tries against some patterns, binding the results to usable variables,
and iterating over the results.
Currently supports for-trie/fold, for-trie/list, for-trie/set, and
for-trie/patch, as well as the ability to easily create new trie
comprehension macros. Note that these comprehensions operate in the
style of `for*` rather than `for`.
2016-02-05 13:27:20 -05:00
Sam Caldwell
540e3cb1f0
undollar into a particular lexical context
2016-02-05 13:27:20 -05:00
Tony Garnock-Jones
b85409ef10
Demos of wildcard assertions
2016-02-02 23:01:08 -05:00