3 ms·
> even though C++ has a significantly more complex type system (it's type system is TC) For what it's worth, Python's type hints are also Turing complete (http
by aw1621107 4y ago
> even though C++ has a significantly more complex type system (it's type system is TC)
For what it's worth, Python's type hints are also Turing complete (https://arxiv.org/abs/2208.14755 https://arxiv.org/abs/2208.14755, discussed on HN at https://news.ycombinator.com/item?id=32779296 https://news.ycombinator.com/item?id=32779296)
- deleted 4y ago[deleted]
- School-Cotton 4y agoRust’s type system is also Turing complete: https://sdleffler.github.io/RustTypeSystemTuringComplete/ https://sdleffler.github.io/RustTypeSystemTuringComplete/