Sam Caldwell
5965115611
typed flink getting closer
2020-03-10 11:44:10 -04:00
Sam Caldwell
adc0819be0
limited support for effect polymorphism
2020-03-10 11:44:09 -04:00
Sam Caldwell
49b34268ad
more flink
2020-03-10 11:44:09 -04:00
Sam Caldwell
d5a8d27ae3
progress on flink
2020-03-10 11:44:09 -04:00
Sam Caldwell
4e335f8049
first take on match-define-like form
2020-03-10 11:44:09 -04:00
Sam Caldwell
d236d99d47
stop-when derived form
2020-03-10 11:44:09 -04:00
Sam Caldwell
a0a30c719a
positive? primitive
2020-03-10 11:44:09 -04:00
Sam Caldwell
cf2162797a
for/first
2020-03-10 11:44:09 -04:00
Sam Caldwell
7b9595a22a
zero? primitive
2020-03-10 11:44:09 -04:00
Sam Caldwell
667231d3e8
examples/flink.rkt: work on job manager and utilities
2020-03-10 11:44:08 -04:00
Sam Caldwell
6b58c20832
Use a mutable, compile-time table for type metadata
2020-03-10 11:44:08 -04:00
Sam Caldwell
b9e99fc8af
Make inference slightly more lenient wrt unions
...
some tests not working because of syntax-property failure
2020-03-10 11:44:08 -04:00
Sam Caldwell
45e7ea609d
add error form
2020-03-10 11:44:08 -04:00
Sam Caldwell
f6976c0281
improve handling of type variables
2020-03-10 11:44:08 -04:00
Sam Caldwell
0752089101
tweak how pattern types are handled
2020-03-10 11:44:08 -04:00
Sam Caldwell
ad4b94422d
flink-support
2020-03-10 11:44:08 -04:00
Sam Caldwell
b56319042c
query-hash
2020-03-10 11:44:07 -04:00
Sam Caldwell
f4f517cd02
require&provide maybe,either
2020-03-10 11:44:07 -04:00
Sam Caldwell
c9378d057d
move patterns to core expressions
2020-03-10 11:44:07 -04:00
Sam Caldwell
9cb884a490
more primitive operations
2020-03-10 11:44:07 -04:00
Sam Caldwell
e7f792e624
more hash operations
2020-03-10 11:44:07 -04:00
Sam Caldwell
f1be0fdfac
more list operations
2020-03-10 11:44:06 -04:00
Sam Caldwell
93e1fea202
typed-flink: task manager
2020-03-10 11:44:06 -04:00
Sam Caldwell
16ce86c6c9
make sure begin always has a definition context
2020-03-10 11:44:06 -04:00
Sam Caldwell
c097e218d0
more set operations
2020-03-10 11:44:06 -04:00
Sam Caldwell
12fd4ad756
more hash functions
2020-03-10 11:44:06 -04:00
Sam Caldwell
f460011a5d
typed flink - task runner
2020-03-10 11:44:06 -04:00
Sam Caldwell
51e26efda6
fix output type for actors without interests
2020-03-10 11:44:06 -04:00
Sam Caldwell
122f7629c3
fix argument order bug in hash-update
2020-03-10 11:44:05 -04:00
Sam Caldwell
c96725b8e3
typed flink data definitions
2020-03-10 11:44:05 -04:00
Sam Caldwell
1feab5d174
assertion-struct macro
2020-03-10 11:44:05 -04:00
Sam Caldwell
530c17ff32
split out core-expressions with #%app, which is now more explicit
2020-03-10 11:44:05 -04:00
Sam Caldwell
ed01517c8c
Improve scoping structure of for-clauses
2020-03-10 11:44:05 -04:00
Sam Caldwell
10ae47c26c
make list operations polymorphic functions
2020-03-10 11:44:05 -04:00
Sam Caldwell
6f52c7fc61
fix ty-var bug
2020-03-10 11:44:05 -04:00
Sam Caldwell
9d5453ff5b
first take on local inference
2020-03-10 11:44:05 -04:00
Sam Caldwell
f00ec81e48
move definition of primitive base types
2020-03-10 11:44:04 -04:00
Sam Caldwell
b1cca8f377
subtyping for effect-free functions
2020-03-10 11:44:04 -04:00
Sam Caldwell
cf17ae28a5
fixup fold in book club
2020-03-10 11:44:04 -04:00
Sam Caldwell
f6cd87394e
start on for loops
2020-03-10 11:44:04 -04:00
Sam Caldwell
39d81686fd
hash tables
2020-03-10 11:44:04 -04:00
Sam Caldwell
2ddafb240a
add sequences
2020-03-10 11:44:04 -04:00
Sam Caldwell
e88b64f5c1
allow polymorphic function definitions
2020-03-10 11:44:04 -04:00
Sam Caldwell
82705763b4
type abstractions
2020-03-10 11:44:04 -04:00
Sam Caldwell
581319eacb
split out primitives
2020-03-10 11:44:03 -04:00
Sam Caldwell
3c800a92db
split out files
2020-03-10 11:44:03 -04:00
Sam Caldwell
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
Sam Caldwell
006e5e0bf5
simplify implementation of overlaps?
2020-03-10 11:44:03 -04:00
Sam Caldwell
f9dcad855e
examples/flink: implement task delegation roles in terms of abstract
...
templates
2020-03-10 11:44:03 -04:00
Sam Caldwell
fa7af3444c
look more at book club roles
2020-03-10 11:44:03 -04:00