5104677fc6
define functions differently
2019-01-25 11:16:03 -05:00
cabb4e2e7c
local define
2019-01-25 11:16:03 -05:00
d7fc251bc8
walk/bind in begin as well
2019-01-25 11:16:03 -05:00
94823854c0
code reuse!
2019-01-25 11:16:03 -05:00
a9665d93d0
re-factor field shenanigans
2019-01-25 11:16:03 -05:00
ad2e337268
free standing fields!
2019-01-25 11:16:02 -05:00
00bf7d2364
during
2019-01-25 11:16:02 -05:00
632c04139b
sets
2019-01-25 11:16:02 -05:00
6d2d14459c
lists
2019-01-25 11:16:02 -05:00
03285824c7
two buyer example
2019-01-25 11:16:02 -05:00
ddff1c800c
on start and stop, spawned actors
2019-01-25 11:16:02 -05:00
c66b62cf46
simple example
2019-01-25 11:16:01 -05:00
e7e8f5e174
fix pattern compilation
2019-01-25 11:16:01 -05:00
938d3c519d
fix bugs, null-ary stops
2019-01-25 11:16:01 -05:00
35b3811462
cond, match
2019-01-25 11:16:01 -05:00
af91b669b7
lambdas
2019-01-25 11:16:01 -05:00
5130197e27
utilities
2019-01-25 11:16:01 -05:00
3705d95856
stop statement
2019-01-25 11:16:00 -05:00
33af13016b
dataspace form
2019-01-25 11:16:00 -05:00
1a4fc4dd4f
check input and output safety in spawn rule
2019-01-25 11:16:00 -05:00
e79237b1d3
small adjustment to Role type
2019-01-25 11:16:00 -05:00
4bd8d20b0b
refactor effect checking
2019-01-25 11:16:00 -05:00
5803b8f9b0
refactor how effects are checked & propagated
2019-01-25 11:16:00 -05:00
5bd391dd77
rename facet effect key from e to f
2019-01-25 11:16:00 -05:00
71c2846a93
roles for bank account facets
2019-01-25 11:15:59 -05:00
29e09ff3ef
start on facet role types
2019-01-25 11:15:59 -05:00
1e66554b8e
note on performance
2019-01-25 11:15:59 -05:00
8808b5aca9
typed book club
2019-01-25 11:15:59 -05:00
5124b8e715
parse action types in transition,quit to allow empty lists
2019-01-25 11:15:59 -05:00
ceb0c60d20
start on typed book club
2019-01-25 11:15:58 -05:00
fb675a850c
add tuple and patch utilities and set datatype
2019-01-25 11:15:58 -05:00
46a833a66e
typed bank account
2019-01-25 11:15:58 -05:00
5934c1626f
typed box and client
2019-01-25 11:15:58 -05:00
9a3d921de3
starter for typed/syndicate/core
2019-01-25 11:15:58 -05:00
cff784384a
add constructor types
2019-01-25 11:15:58 -05:00
b1c000e12e
more wip on TS
2019-01-25 11:15:58 -05:00
82e5c8504c
wip on typed syndicate
2019-01-25 11:15:57 -05:00
47094c11c4
Responsibility transfer during outbound websocket connection establishment
2018-08-14 17:38:36 +01:00
eb70563edb
Respond to ISON commands.
2018-07-30 19:39:19 +01:00
c564bd28ec
Weirdly, irssi sends the "ison" command in lower-case.
2018-07-30 19:39:11 +01:00
cb351eee09
Repair current-ground-dataspace initialization, to allow override in e.g. graphical programs
2018-06-01 09:12:39 +01:00
7d9f505fc6
Merge pull request #34 from tonyg/module-begin
...
Re-finagle module-begin to a more incremental style
2018-05-01 18:13:20 -04:00
e402725d7f
note
2018-05-01 13:55:34 -04:00
f1c51661c7
Re-finagle module-begin to a more incremental style
...
Fixes 33
2018-05-01 13:55:34 -04:00
f64ad8389a
Update example-during-criterion-snapshotting.rkt
2018-04-29 21:48:49 +01:00
06224b52a8
Repair syndicate/js just like commit 1fa5167 repaired syndicate/rkt.
2018-03-27 22:21:14 +13:00
1fa5167e20
Fix a design flaw in Syndicate-HLL for syndicate/rkt.
...
If:
- a field is used in an assertion of interest in facet A
- and that field changes
- to a value that causes the assertion of interest to overlap
with some facet B's assertion of interest
- and an assertion matching that interest was already known to the actor,
Then:
- previously, facet A would not be informed of the matching assertion
- but now, it is informed of the matching assertion.
This more or less only affects "on asserted" endpoints.
The change here should be written up as an erratum to chapter 5 in my
dissertation. Also, syndicate/js needs to be checked for the bug and
probably fixed in an analogous way.
2018-03-27 21:58:57 +13:00
55e1f09484
New "bug" (?)
2018-03-22 13:49:16 +13:00
af150712e0
example-memoized.rkt
2018-03-06 17:35:40 +00:00
57a40e9576
Asynchronously send UDP packets.
...
Switch from synchronous to asynchronous UDP transmission, in case DNS
resolution takes a long time or fails. Specifically, in case of failure,
previously the UDP actor would crash, whereas now the packet is just
"dropped".
2018-03-06 11:12:57 +00:00
Sam Caldwell
Tony Garnock-Jones