[mvitorino]

The -Type System- is turing complete, not talking about the language itself. So your first few comparisons are not quite fair.