4 ms·
Wouldn't it be highly undesirable to run a Turing complete unification process at the value level at run time?
by bwestergard 3y ago
Wouldn't it be highly undesirable to run a Turing complete unification process at the value level at run time?
- YeGoblynQueenne 3y agoAre 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.