3 ms·
Many type systems are already Turing complete like C++ and indeed Rust as evidenced by the project linked here. It’s a valid point. Of compilation already is T
by pilif 6y ago
Many type systems are already Turing complete like C++ and indeed Rust as evidenced by the project linked here.
It’s a valid point. Of compilation already is Turing complete, why not just drop the pretense and allow arbitrary compile time expressions.
- dllthomas 6y agoEven where nothing in compilation is Turing complete, many pieces may be unbounded. And where there are artificial bounds, they could as well be applied to something otherwise Turing complete.