Какая есть альтернатива Python со статической типизацией?
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 но сообщество было против. Да и вообще зачем нужна статическая типизация? Что бы усложнять себе жизнь? Пайтон язык со строгой динамической типизацией и этого вполне достаточно.
Nimrod может быть Вам понравится.