chalk: https://github.com/rust-lang/chalk
This gives us the power of Prolog for trait meta programming right ?
Is there anyway to use this now? Even if it's on channel nightly-pre-alpha-unstable.
Chalk is a new implementation of the existing trait solver within the rustc. It doesn't add up any feature to the language on its own, though it may help implementing new features on the rustc.
rust-analyzer uses chalk on stable.
Would it be "approximately" correct to say: (1) chalk uses a prolog / logic engine, but (2) does NOT expose the engine. Therefore, we can't add our own rules to type checking ?
That's most likely a fair assessment, yes.
This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.