What is an alternative to Python with static typing?

Question

Python

Good afternoon.
Tell me, are there any languages ​​similar in ideology to Python, but with static typing? Python, in principle, suits everyone, but dynamic typing upsets. I don't know of any similar alternatives.

Answer 1

Isn't Cython suitable? It can also create binaries. There is also such a thing https://github.com/JukkaL/mypy In the third python there are annotations legacy.python.org/dev/peps/pep-3107 they appeared as a result of Guido's great desire (if I'm not mistaken) to make the 3rd python statically typed language www.artima.com/weblogs/viewpost.jsp?thread=85551 www.artima.com/weblogs/viewpost.jsp?thread=86641 but the community was against it. And why do we need static typing anyway? To make life difficult for yourself? Python is a strongly dynamically typed language, and that's enough.

Answer 2

Goolang

Answer 3

You might like Nimrod.

Answer 4

What is considered an ideology if typing is not included in it?

Answer 5

import this