4 ms·
Lots of languages have these features and it works fine. Finding the type of an expression is one of the canonical applications of a constraint solver.
by eastWestMath 10y ago
Lots of languages have these features and it works fine. Finding the type of an expression is one of the canonical applications of a constraint solver.