4 ms·
The templating systems in C++ and D are Turing complete. Apparently Rust's type system is also Turning complete.
by ben-schaaf 10y ago
The templating systems in C++ and D are Turing complete. Apparently Rust's type system is also Turning complete.
- gpderetta 10y agoThe type system of every (statically typed) programming language attempts to expand until it becomes Turing complete. Those languages which cannot so expand are replaced by ones which can. With apologies to jwz.