Python Type Hints are Turing Complete · HackerPapers discussions

Python Type Hints are Turing Complete — mentioned by bhouston

Mon, 18 Sep 2023 13:34:50 GMT

> Rust’s type system ended up being Turing-complete anyway. It seems like it fell into the same trap as C++ templates: it’s an accidental programming language in a programming language, but with way worse syntax. Most anything in software can easily end up Turing-complete though. It isn't that high of a bar unfortunately. I think most mature type and template systems end up as Turing-complete. To single out Rust for this is to ignore that this is just standard fare for mature typing systems. TypeScript's types are Turing complete: https://github.com/microsoft/TypeScript/issues/14833 Python's…

Paper and discussion history. A mention is not an endorsement.

Python Type Hints are Turing Complete — mentioned by aw1621107

Tue, 14 Mar 2023 03:01:34 GMT

> 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, discussed on HN at https://news.ycombinator.com/item?id=32779296)

Paper and discussion history. A mention is not an endorsement.

Python Type Hints are Turing Complete — mentioned by w-m

Fri, 09 Sep 2022 14:19:50 GMT

Here's the article rendered as html: https://ar5iv.labs.arxiv.org/html/2208.14755 (Replace the x in arxiv.org with a 5 to get there. I feel like it's working well enough in most cases, when will they start linking these from the actual arxiv article pages?)

Paper and discussion history. A mention is not an endorsement.

Python Type Hints are Turing Complete — HN submission

Fri, 09 Sep 2022 13:56:55 GMT

Python type hints are Turing complete

246 points; 135 discussion replies on HN. Paper and source history. A submission is not an endorsement.

Python Type Hints are Turing Complete — HN submission

Tue, 06 Sep 2022 07:00:23 GMT

Python Type Hints Are Turing Complete

2 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

Python Type Hints are Turing Complete — mentioned by belter

Sat, 03 Sep 2022 02:39:18 GMT

"...We apply Grigore’s algorithm to Python type hints and deduce that they are Turing complete. In addition, we present an alternative reduction in which the Turing machines are simulated in real time, resulting in significantly lower compilation times..." [PDF] - https://arxiv.org/pdf/2208.14755.pdf "OriRoth/python-typing-machines: Python Typing Machines 1.0" - https://zenodo.org/record/7004898

Paper and discussion history. A mention is not an endorsement.

Python Type Hints are Turing Complete — HN submission

Sat, 03 Sep 2022 02:39:18 GMT

Python Type Hints Are Turing Complete

1 point; 1 discussion reply on HN. Paper and source history. A submission is not an endorsement.