3 ms·
Are you concerned about cost? There are linear-time and space algorithms for unification and they are algorithms (i.e. guaranteed to terminate).
by YeGoblynQueenne 3y ago
Are you concerned about cost? There are linear-time and space algorithms for unification and they are algorithms (i.e. guaranteed to terminate).
- marcosdumay 3y agoRust is all about zero-cost abstractions. Linear time and space ones do not fit the bill. Some language willing to trade a bit of speed for expressivity could adopt it. But not Rust.