Er, jumped the gun a bit;

On Tue, Mar 10, 2020 at 10:25 AM Ray Racine <> wrote:
>> For a new project with Syndicate I'd like to jump up to typed/syndicate
>> if possible even if it is a little bit "early".  As expected it looks like
>> PLT's approach to typing dataspaces, tuples spaces, actors and messaging
>> looks novel and impressive.
>> Yesterday with a few tweaks here and there I have typed/syndicate
>> compiling and running 1 or 2 of the examples.  The tweaks that appear to be
>> necessary are to sync up typed/syndicate with the latest Turnstile.
I would be very interested to hear how you are using Syndicate and what
your experience has been like, if you wouldn't mind sharing. Do you have
any projects on github that are using it?

> Glancing at the example code I expect to use the extended language
>> capability offered via #lang typed/syndicate/roles. The project is an
>> opensource one of a personal nature and is fine with bug reports,
>> workarounds and hiccups assuming typed/syndicate work is still "active".
>> Questions:
>>    1. Is #lang typed/syndicate/roles more or less ready for beta code
>>    use?
>> More or less, yes. I can anticipate a couple of potential issues:
- There is no integration with Typed Racket.
- The type system does all its work during macro expansion and is generally
un-optimized, so you may notice longer compilation times.
- While there is support for interoperating with untyped syndicate and
untyped code in general, no contracts are generated to ensure safety.
- There is no documentation (though I actually started working on some
this morning).

>>    1. Is it active and maintained?
>> Yes! I am currently developing typed syndicate.

>>    1. Can the Syndicate's git repo typed branch be sync'd up with the
>>    current Turnstile and Racket release?[1]
>> Yes; in fact I think it's about time I integrated typed syndicate into
the master branch so you shouldn't need to fiddle with those.

I'm generally happy to answer any question you may have about typed or
untyped Syndicate, no matter how small, and look into any issue that needs
to be addressed. Feel free to email me directly or open issues on github.

Sam Caldwell

You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
To view this discussion on the web visit

Reply via email to