a-mir-formality
r7rs-spec
Our great sponsors
a-mir-formality | r7rs-spec | |
---|---|---|
4 | 2 | |
244 | 14 | |
5.7% | - | |
9.3 | 2.4 | |
3 months ago | 8 months ago | |
Rust | TeX | |
Apache License 2.0 | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
a-mir-formality
-
My resignation letter as R7RS-large chair
Racket is very used in the PLT community (programming language theory) for prototyping programming languages. Lots of cool stuff in this area.
For example, the MIR formality [0] project of the Rust programming language to formalize MIR (their intermediate language) was first prototyped in Racket [1], then rewritten in Rust. [1]'s readme give a rationale:
> For the time being, the model is implemented in PLT Redex. PLT Redex was chosen because it is ridiculously accessible and fun to use. It lets you write down type system rules and operational semantics and then execute them, using a notation that is very similar to what is commonly used in published papers. You can also write collections of unit tests and fuzz your model by generating test programs automatically.
> The hope is that PLT Redex will prove to be a sufficiently accessible tool that many Rust contributors will be able to understand, play with, and extend the model.
> One downside of PLT Redex is that it doesn't scale naturally to performing proofs. We may choose to port the model to another system at some point, or maintain multiple variants.
[0] https://github.com/rust-lang/a-mir-formality
[1] https://github.com/rust-lang/a-mir-formality/tree/1f40120f09...
- Officially announcing the types team
-
Why are Rust programs slow to compile?
But MIR optimizations are a bit of a mess right now. The semantics of MIR are not completely settled but that is an area of active work: https://github.com/nikomatsakis/a-mir-formality
-
Announcing: MiniRust
That's happening separately, in the "mir-formality" project: https://github.com/nikomatsakis/a-mir-formality
The two projects are related, but have different objectives (mir-formality includes traits and borrow checking, while MiniRust focuses on operational semantics).
r7rs-spec
-
My resignation letter as R7RS-large chair
Or more simply https://github.com/johnwcowan/r7rs-spec/tree/errata/rnrs, where you can get Every Scheme Standard Evar. It's unsurprising that there is no one place for R7RS-large, considering how inchoate it is.
-
Confused about equality in (typed) racket
You probably don’t ever want to use eq? because it’s unspecified behavior. You can get more information from the R7RS specification: https://github.com/johnwcowan/r7rs-spec/blob/errata/spec/r7rs.pdf on page 30 (section 6.1 Equality Predicates) and more Racket specific information from chapter 4 of the Racket reference: https://docs.racket-lang.org/reference/Equality.html
What are some alternatives?
datafrog - A lightweight Datalog engine in Rust
renegade-way - Option Trading Application
theory-exploration-benchmarks - Mirror of http://chriswarbo.net/git/theory-exploration-benchmarks
minirust - A precise specification for "Rust lite / MIR plus"
r7rs-work
options-chain-marketdata.ps1
ChezScheme - Chez Scheme