I'm very excited about Chalk. Quoting from the page:
Chalk is a reimplementation of Rust's trait system using declarative logic rules, à la Prolog.
Chalk has been years in development, and has been experimentally integrated into rustc in the past. This year, jackh726 and nikomatsakis own the task of improving the chalk integration, to drive it to the point where the team can consider migrating to chalk as the implementation of the trait system. This will unlock many features that up until now have been too difficult to implement in the old trait system implementation, and its declarative structure will provide a proper foundation for people to reason about the correctness of the trait system.
Also, it's nice to see that compilation speed is being worked on!
1 comment
[ 2.9 ms ] story [ 11.7 ms ] threadChalk is a reimplementation of Rust's trait system using declarative logic rules, à la Prolog.
Chalk has been years in development, and has been experimentally integrated into rustc in the past. This year, jackh726 and nikomatsakis own the task of improving the chalk integration, to drive it to the point where the team can consider migrating to chalk as the implementation of the trait system. This will unlock many features that up until now have been too difficult to implement in the old trait system implementation, and its declarative structure will provide a proper foundation for people to reason about the correctness of the trait system.
Also, it's nice to see that compilation speed is being worked on!