Sam Caldwell
bb95c4052c
Don't use syndicate's action-collecting module-begin
...
Implicitly starting a dataspace with top-level actions is a hole for
the type system, which needs to know the type of possible assertions.
Instead, provide `run-ground-dataspace` for kicking off the program.
2019-01-25 10:51:46 -05:00
Sam Caldwell
4503d8b923
typed chat server example
2019-01-18 14:34:21 -05:00
Sam Caldwell
2c8d199f76
tcp driver shim module
2019-01-18 14:32:21 -05:00
Sam Caldwell
5ffe20efcb
Instead of attaching syntax properties during expansion, generate code
...
that does so
This resolves the "namespace mismatch: cannot locate module instance"
error.
2019-01-18 14:18:36 -05:00
Sam Caldwell
5420d9219b
Useful primitives: symbols, bytestrings
2019-01-18 14:15:43 -05:00
Sam Caldwell
5815d76af2
send newlines in tcp2 chat client
2019-01-18 13:56:26 -05:00
Sam Caldwell
b40373769c
require/typed - no contracts
2019-01-03 14:01:09 -05:00
Sam Caldwell
b8250e7c7d
require-struct
2019-01-03 12:06:14 -05:00
Sam Caldwell
990a450ead
rename effect keys to not break with updated turnstile
2018-11-19 17:42:08 -05:00
Sam Caldwell
2c936bec10
small cleanup
2018-11-19 11:44:00 -05:00
Sam Caldwell
1744f91b44
Revert "begin splitting up roles.rkt"
...
This reverts commit da1263dc97
.
2018-10-23 08:36:05 -04:00
Sam Caldwell
924891dbfd
Revert "more splitting up"
...
This reverts commit 49e7ba1b0e
.
2018-10-23 08:35:38 -04:00
Sam Caldwell
49e7ba1b0e
more splitting up
2018-10-02 14:01:55 -04:00
Sam Caldwell
da1263dc97
begin splitting up roles.rkt
2018-10-01 13:06:17 -04:00
Sam Caldwell
f264392a05
re-finangle `define/intermediate` to allow require & provides
...
Needed to change from `make-rename-transformer` to
`make-variable-like-transformer` because apparently rename transformers
are treated differently when referred to from another model, hiding the
syntax properties on the target.
2018-09-14 16:40:43 -04:00
Sam Caldwell
3fa7d2f5b1
file system roles w messages
2018-09-12 19:32:06 -04:00
Sam Caldwell
013c22d855
cell example
2018-09-12 17:16:25 -04:00
Sam Caldwell
8a17bf8ef2
messages
2018-09-12 17:03:19 -04:00
Sam Caldwell
e7cc6cd452
fix making defn context with #f #f
2018-09-12 15:06:08 -04:00
Sam Caldwell
e10cf12870
stuff
2018-09-10 16:24:44 -04:00
Sam Caldwell
e7b33b22d0
book club
2018-08-14 18:23:35 -04:00
Sam Caldwell
3a9564df59
dataflow
2018-08-14 17:02:39 -04:00
Sam Caldwell
61a2ad2d76
query set
2018-08-14 16:35:39 -04:00
Sam Caldwell
5b0bce7a12
query-value
2018-08-14 15:43:51 -04:00
Sam Caldwell
6881393b53
define functions differently
2018-08-13 19:32:23 -04:00
Sam Caldwell
d05e73830d
local define
2018-08-13 18:50:08 -04:00
Sam Caldwell
0972568eb2
walk/bind in begin as well
2018-08-09 22:06:08 -04:00
Sam Caldwell
32c1321cdc
code reuse!
2018-08-09 21:42:20 -04:00
Sam Caldwell
dc38f40927
re-factor field shenanigans
2018-08-09 21:02:24 -04:00
Sam Caldwell
674b87740f
free standing fields!
2018-08-08 15:20:09 -04:00
Sam Caldwell
97174e668b
during
2018-08-01 11:30:25 -04:00
Sam Caldwell
adb1098283
sets
2018-08-01 10:52:56 -04:00
Sam Caldwell
1448d7db88
lists
2018-08-01 10:35:22 -04:00
Sam Caldwell
c95c32abd9
two buyer example
2018-07-31 15:54:16 -04:00
Sam Caldwell
a383667938
on start and stop, spawned actors
2018-07-31 15:51:20 -04:00
Sam Caldwell
1e3fc3ae49
simple example
2018-07-31 14:46:36 -04:00
Sam Caldwell
96b61c8b75
fix pattern compilation
2018-07-31 14:46:24 -04:00
Sam Caldwell
9a161e77c4
fix bugs, null-ary stops
2018-07-31 14:03:15 -04:00
Sam Caldwell
a59cf4a039
cond, match
2018-07-30 17:36:42 -04:00
Sam Caldwell
e5e7865f73
lambdas
2018-07-30 17:00:42 -04:00
Sam Caldwell
0267b4a5f3
utilities
2018-07-30 15:17:30 -04:00
Sam Caldwell
9218387500
stop statement
2018-07-30 14:01:56 -04:00
Sam Caldwell
cd854daaa8
dataspace form
2018-07-30 11:54:05 -04:00
Sam Caldwell
27e55c583c
check input and output safety in spawn rule
2018-07-27 17:16:44 -04:00
Sam Caldwell
1cf4b82abb
small adjustment to Role type
2018-07-27 11:59:30 -04:00
Sam Caldwell
0a702c77f0
refactor effect checking
2018-07-27 11:37:22 -04:00
Sam Caldwell
636723dc05
refactor how effects are checked & propagated
2018-07-27 10:54:22 -04:00
Sam Caldwell
b5e4153cdb
rename facet effect key from e to f
2018-07-27 10:24:46 -04:00
Sam Caldwell
70db387b54
roles for bank account facets
2018-07-26 17:16:06 -04:00
Sam Caldwell
e876b0a16b
start on facet role types
2018-07-25 17:26:47 -04:00