search

rust-lang / types-team

Home of the "types team", affiliated with the compiler and lang teams.
https://rust-lang.github.io/types-team/
Apache License 2.0
95 stars 19 forks source link

Chalk integration plan #54

Closed nikomatsakis closed 1 year ago

nikomatsakis commented 2 years ago

Summary

Interactive design session to form a plan for how we will go about integrating a chalk-like solver

Rationale

We've been talking about doing a chalk-like solver for a while. Let's make a plan and do it. By now, my feeling at least is that we may want to reimplement from scratch, taking the lessons from chalk but modeled more on a-mir-formality. Discuss the implications.

jackh726 commented 1 year ago

We discussed this is in a deep dive meeting: https://rust-lang.zulipchat.com/#narrow/stream/326132-t-types.2Fmeetings/topic/2022-09-30.20chalk.20integration

Doc: https://hackmd.io/mAANGq4ZTCu_dBW9weqVew?edit