a-mir-formality

a model of MIR and the Rust type/trait system (by rust-lang)

A-mir-formality Alternatives

Similar projects and alternatives to a-mir-formality

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better a-mir-formality alternative or higher similarity.

a-mir-formality reviews and mentions

Posts with mentions or reviews of a-mir-formality. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-08-17.
  • My resignation letter as R7RS-large chair
    7 projects | news.ycombinator.com | 17 Aug 2023
    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
    2 projects | /r/rust | 20 Jan 2023
  • Why are Rust programs slow to compile?
    4 projects | /r/rust | 24 Sep 2022
    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
    7 projects | news.ycombinator.com | 8 Aug 2022
    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).

  • A note from our sponsor - InfluxDB
    www.influxdata.com | 28 Mar 2024
    Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →

Stats

Basic a-mir-formality repo stats
4
244
9.3
about 2 months ago
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com