Thanks for the info, lots of reading to do now.
I ran across transactional events, and also "Isolates: Serializability
Enforcement for Concurrent ML"
(https://docs.lib.purdue.edu/cgi/viewcontent.cgi?article=2730=cstech)
which looks like it may extend transactional events.
On Tuesday, March
Reagents are a generalization of core CML, but Racket extends the basics of
CML considerably. I think there's definitely implementation complexity in
reagents that would need to be added to support conjunction, but I don't
know how much.
Looking back at Aaron's thesis, I see several other systems
Thanks for the help, everyone.
Sam, it looks like you've worked with Aaron a bit on reagents in
https://github.com/aturon/Caper. Is there anything CML can express that
reagents have trouble with? How does the implementation complexity compare?
On Monday, March 15, 2021 at 8:12:03 PM UTC-4
Hi Jeff,
In fact there are two concepts here, and part of what I think confused you
is something I just discovered this week and plan to report as a bug:
https://pkgs.racket-lang.org/pkgs-all does not include the package's
version: that's what's discussed on the Package Concepts
The last sentence of the first paragraph you quoted starts with "A version is
intended," but I don't know for sure if it is a complete answer. You'll also
notice on the catalog that there are version exceptions, but you may have
already read that by now.
Hello racket-users,
As far as I can tell from reading the Racket documentation, the racket
package manager has only one field to indicate version. I am trying to
understand the intended use of the version field.
Here the documentation seems to recommend that packages use the version
field
James Platt writes:
> On Mar 15, 2021, at 7:01 PM, Beatriz Moreira wrote:
>
>> Hello! I recently used Racket as a tool to see the small step
>> execution of some smart contract languages and I was wondering if
>> there is anywhere i can submit my work or share it with the Racket
>> community.
>
>
On Mar 15, 2021, at 7:01 PM, Beatriz Moreira wrote:
> Hello! I recently used Racket as a tool to see the small step execution of
> some smart contract languages and I was wondering if there is anywhere i can
> submit my work or share it with the Racket community.
One place might be the
8 matches
Mail list logo
