Sam Caldwell
|
b17cba59ed
|
remove self loops, things working better
|
2019-08-26 11:09:32 -04:00 |
|
Sam Caldwell
|
16175c7bb4
|
fix bug in flink
|
2019-08-26 11:09:32 -04:00 |
|
Sam Caldwell
|
27abf8ab1e
|
detect cycles when compiling internal events
|
2019-08-26 11:09:32 -04:00 |
|
Sam Caldwell
|
e6524174e1
|
first take on inlining internal events
|
2019-08-26 11:09:31 -04:00 |
|
Sam Caldwell
|
135e6b655b
|
rudimentary support for internal events in proto
|
2019-08-26 11:09:31 -04:00 |
|
Sam Caldwell
|
202bcd6842
|
add messages to proto
|
2019-08-26 11:09:31 -04:00 |
|
Sam Caldwell
|
fa8822e40d
|
small cleanup
|
2019-08-26 11:09:31 -04:00 |
|
Sam Caldwell
|
c40b773282
|
reorganize examples
|
2019-08-26 11:09:31 -04:00 |
|
Sam Caldwell
|
be5bc19fcc
|
job manager role
|
2019-08-26 11:09:31 -04:00 |
|
Sam Caldwell
|
537b3fd272
|
more event constructors in proto
|
2019-08-26 11:09:31 -04:00 |
|
Sam Caldwell
|
8f8f4c416f
|
replace some dataflow with internal events in typed flink
|
2019-08-26 11:09:30 -04:00 |
|
Sam Caldwell
|
5f38b6cc94
|
allow equal? when there's overlap
|
2019-08-26 11:09:30 -04:00 |
|
Sam Caldwell
|
f597fdc499
|
internal events for typed lang
|
2019-08-26 11:09:30 -04:00 |
|
Sam Caldwell
|
963676c0c6
|
Change type names Know -> Asserted, \negKnow -> Retracted
|
2019-08-26 11:09:30 -04:00 |
|
Sam Caldwell
|
7462af708b
|
(during (know P) O ...) for internal knowledge
|
2019-08-26 11:09:30 -04:00 |
|
Sam Caldwell
|
e6b733325c
|
Create an actor-internal event system oriented around assertions and
messges.
internal form ~ external form
(know v) ~ (assert v)
(on (know p) ...) ~ (on (asserted p) ...)
(on (forget p) ...) ~ (on (retracted p) ...)
(realize! v) ~ (send! v)
(on (realize v) ...) ~ (on (message v) ...)
|
2019-08-26 11:09:30 -04:00 |
|
Sam Caldwell
|
affa47a2a5
|
minor printing stuff in examples
|
2019-08-26 11:09:29 -04:00 |
|
Sam Caldwell
|
458bf93fef
|
subgraph stuff working better
|
2019-08-26 11:09:29 -04:00 |
|
Sam Caldwell
|
c38bfdc2c0
|
some work on checking/finding subgraphs
|
2019-08-26 11:09:29 -04:00 |
|
Sam Caldwell
|
ee726c9177
|
task assigner spec and task manager type
|
2019-08-26 11:09:29 -04:00 |
|
Sam Caldwell
|
5dee1981b6
|
provide Branch and Effs types
|
2019-08-26 11:09:29 -04:00 |
|
Sam Caldwell
|
da900a258a
|
extract some code from verify body
|
2019-08-26 11:09:29 -04:00 |
|
Sam Caldwell
|
32f117df16
|
task performer spec and task runner type
|
2019-08-26 11:09:28 -04:00 |
|
Sam Caldwell
|
dcc4e3c411
|
During type abbreviation
|
2019-08-26 11:09:28 -04:00 |
|
Sam Caldwell
|
703a4c9589
|
support for dataflow, misc fixes and improvements
|
2019-08-26 11:09:28 -04:00 |
|
Sam Caldwell
|
3ebcf413c9
|
more accurate job manager type
|
2019-08-26 11:09:28 -04:00 |
|
Sam Caldwell
|
47ca363b18
|
add container types to proto
|
2019-08-26 11:09:28 -04:00 |
|
Sam Caldwell
|
0711cd3232
|
print types different
|
2019-08-26 11:09:28 -04:00 |
|
Sam Caldwell
|
6b272ad3d3
|
cleanups and improvements
|
2019-08-26 11:09:27 -04:00 |
|
Sam Caldwell
|
d93dc085fe
|
remove stop-when abomination
|
2019-08-26 11:09:27 -04:00 |
|
Sam Caldwell
|
3e1d4d108f
|
initial support for on start and on stop
|
2019-08-26 11:09:27 -04:00 |
|
Sam Caldwell
|
3ad0457bd5
|
small cleanup
|
2019-08-26 11:09:27 -04:00 |
|
Sam Caldwell
|
ce0c296b5c
|
parse quoted turnstile types
|
2019-08-26 11:09:27 -04:00 |
|
Sam Caldwell
|
60ed8c2677
|
tweak how types are printed
|
2019-08-26 11:09:27 -04:00 |
|
Sam Caldwell
|
eba7ed072c
|
cleanup
|
2019-08-26 11:09:27 -04:00 |
|
Sam Caldwell
|
c811b9a45f
|
forgot to add maybe.rkt and either.rkt
|
2019-08-26 11:09:26 -04:00 |
|
Sam Caldwell
|
3faaa1c580
|
typed flink working!
|
2019-08-26 11:09:26 -04:00 |
|
Sam Caldwell
|
23bee726b1
|
priorities for query handlers, on-add, on-remove
|
2019-08-26 11:09:26 -04:00 |
|
Sam Caldwell
|
3aedb63a9c
|
client and jobs (not working)
|
2019-08-26 11:09:26 -04:00 |
|
Sam Caldwell
|
807e6bb8f7
|
map list op
|
2019-08-26 11:09:26 -04:00 |
|
Sam Caldwell
|
98a779bdc1
|
resolve mutual dependency in flink via dataflow
|
2019-08-26 11:09:25 -04:00 |
|
Sam Caldwell
|
c37c060dc9
|
fancify patterns in flink
|
2019-08-26 11:09:24 -04:00 |
|
Sam Caldwell
|
c78b76b38c
|
fancify the patterns in book-club
|
2019-08-26 11:09:24 -04:00 |
|
Sam Caldwell
|
22a228ab4b
|
Use the communication type (via a turnstile `mode`) when elaborating
patterns in facets
|
2019-08-26 11:09:24 -04:00 |
|
Sam Caldwell
|
296a77d714
|
clean up patterns in flink
|
2019-08-26 11:09:24 -04:00 |
|
Sam Caldwell
|
4fdce7fc0c
|
elaborate more patterns
|
2019-08-26 11:09:24 -04:00 |
|
Sam Caldwell
|
13e988fe58
|
some work towards a better pattern language
|
2019-08-26 11:09:24 -04:00 |
|
Sam Caldwell
|
24efe43a6f
|
typed flink getting closer
|
2019-08-26 11:09:24 -04:00 |
|
Sam Caldwell
|
99d5916bd1
|
limited support for effect polymorphism
|
2019-08-26 11:09:23 -04:00 |
|
Sam Caldwell
|
20693f234e
|
more flink
|
2019-08-26 11:09:23 -04:00 |