Comment by akkad33

I have seen papers saying at least Java and Python type systems are turing complete. I wouldn't surprised if all type systems are turing complete