Какая есть альтернатива Python со статической типизацией?

Question

[MegaMufa]

Добрый день.

Подскажите, есть ли языки близкие по идеологии к Питону, но со статической типизацией? Питон в принципе всем устраивает, но вот динамическая типизация огорчает. А похожих альтернатив не знаю.

Answer 1

[Али Алиев]

Cython разве не подходит? Он может и бинарники создавать. Есть еще вот такая штука https://github.com/JukkaL/mypy В третьем пайтоне есть аннотации legacy.python.org/dev/peps/pep-3107 они появились в результате большого желания Гвидо (если я не ошибаюсь) сделать 3й пайтон статически типизированным языком www.artima.com/weblogs/viewpost.jsp?thread=85551 www.artima.com/weblogs/viewpost.jsp?thread=86641 но сообщество было против. Да и вообще зачем нужна статическая типизация? Что бы усложнять себе жизнь? Пайтон язык со строгой динамической типизацией и этого вполне достаточно.

Answer 2

[Валентин]

Goolang

Answer 3

[tgz]

Nimrod может быть Вам понравится.

Answer 4

[gro]

Что считать идеологией, если типизация в неё не входит?

Comments

[MegaMufa]

Входит. Устраивает все кроме этого пункта.

Answer 5

[pioneer]

import this