We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
a-mir-formality walkthrough (2022-07-06)
Join us for an in-depth walkthrough of the a-mir-formality project, as we discuss the current state of the borrow checker, implementation challenges, and seeking feedback to improve the Rust layer and mirror layer integration.
- The current state of the borrow checker is not fully implemented.
- The team is still figuring out how to translate the Rust layer to the mirror layer and how to use the borrow checker.
- The mirror layer should be the topmost layer and the Rust layer should be below it.
- The team is struggling to make tests pass and is unsure about the correct way to implement the borrow checker.
- The borrow checker needs to be able to prove that certain types are compatible, such as i32 and u32.
- The team is open to feedback and suggestions on how to improve the implementation.
- The project is still in an early stage and the team is still figuring out how to model inference variables.
- The team is trying to translate the type checker to the borrow checker and is unsure how to do it.
- The borrow checker should be able to prove that a borrowing pattern is valid.
- The team is discussing how to implement the borrowing system and how to make it more efficient.
- The project involves creating a new type checker that is separate from the existing type checker.
- The team is working on implementing the borrow checker and expecting false for certain types.
- The borrow checker is struggling to pass tests and the team is unsure how to make it work.