3 ms·
Not exactly a business problem, but I heard that a Prolog-like approach works very well for a type inference system.
by eterps 6y ago
Not exactly a business problem, but I heard that a Prolog-like approach works very well for a type inference system.