3 ms·
It's impossible to infer in general, and any dependant type system needs to be somehow designed around that fact.
by hansvm 6y ago
It's impossible to infer in general, and any dependant type system needs to be somehow designed around that fact.