Formal Semantics / Type Rules

johnbender · 2014-10-01T15:39:14.156Z

I’ve pestered some people over twitter about this and they let me know (a while ago and then again today) that it’s “in the works”.

I guess I’d be interested in contributing if I can find the time so I was curious if anyone has started on setting out the formal semantics and type rules for Rust? I’ve only ever done semantics with paper/pencil and LaTeX so maybe some tooling is appropriate here (PLT Redex, twelf)?

Thanks!

aturon · 2014-10-01T18:05:32.320Z

Niko has a redex model that I know he’s used to prototype some features – I believe DST.

I think there are a couple of other existing models as well. Eric Reed at the University of Washington has been working on this, in particular, but I don’t know the status.

johnbender · 2014-10-01T18:26:22.703Z

@aturon Great! I can take a look at the redex definition to educate myself at least. Thanks very much for pointing me to Eric Reed as well.

system · 2019-03-25T08:22:56.580Z

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.