6 ms·
You can use embedded Prolog to implement type inference in your compiler. AFAIK that's how it's done in the Rust compiler.
by erikj 9y ago
You can use embedded Prolog to implement type inference in your compiler. AFAIK that's how it's done in the Rust compiler.