29c446df39
Attach useful metadata as syntax properties to some types
...
In order to make defining judgments like subytping and intersection
more extensible, introduce a form for defining type constructors that
describes:
- how it behaves wrt intersction (product-like or container-like)
- variances for subtyping
- the type constructor transformer, for making new instances
This eliminates a lot of very repetitive code, and should make things
much more extensible
2020-03-10 11:44:03 -04:00
006e5e0bf5
simplify implementation of overlaps?
2020-03-10 11:44:03 -04:00
d5ac65007e
Keep track of branches for role effects in turnstile lang
2020-03-10 11:44:02 -04:00
572be6b45d
look into leader impl simulating spec a bit
2020-03-10 11:44:02 -04:00
0897036557
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 11:16:07 -05:00
c7cc84302e
Instead of attaching syntax properties during expansion, generate code
...
that does so
This resolves the "namespace mismatch: cannot locate module instance"
error.
2019-01-25 11:16:07 -05:00
3a06e2324c
Useful primitives: symbols, bytestrings
2019-01-25 11:16:06 -05:00
c7d78159e3
require/typed - no contracts
2019-01-25 11:16:06 -05:00
7c3d87eeb2
require-struct
2019-01-25 11:16:06 -05:00
221a550aed
rename effect keys to not break with updated turnstile
2019-01-25 11:16:06 -05:00
817e292760
Revert "begin splitting up roles.rkt"
...
This reverts commit da1263dc97
2019-01-25 11:16:05 -05:00
7117816a74
Revert "more splitting up"
...
This reverts commit 49e7ba1b0e
2019-01-25 11:16:05 -05:00
1b0f41f465
more splitting up
2019-01-25 11:16:05 -05:00
c11d719f20
begin splitting up roles.rkt
2019-01-25 11:16:05 -05:00
70aafc8bdf
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.
2019-01-25 11:16:05 -05:00
1b5cf6d772
messages
2019-01-25 11:16:04 -05:00
57934b389f
fix making defn context with #f #f
2019-01-25 11:16:04 -05:00
46379858c2
stuff
2019-01-25 11:16:04 -05:00
139e0bcac5
book club
2019-01-25 11:16:04 -05:00
86330bde03
dataflow
2019-01-25 11:16:04 -05:00
0f2469c364
query set
2019-01-25 11:16:04 -05:00
144e20bdde
query-value
2019-01-25 11:16:03 -05:00
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
ddff1c800c
on start and stop, spawned actors
2019-01-25 11:16:02 -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
Sam Caldwell
Sam Caldwell