是否有任何具有自愿静态类型的类似 Python 的编程语言？

【问题标题】：Is there any Python-like programming language with voluntary static typing?是否有任何具有自愿静态类型的类似 Python 的编程语言？
【发布时间】：2016-02-01 14:55:37
【问题描述】：

是否有任何类似于 Python 的编程语言，但允许您自愿显式指定任何变量/参数/返回值的类型，以便无论何时您确实这样做 - IDE 可以强制执行某些类型约束？

【问题讨论】：

Python 3.5 有type hints，见Python 3.5 type hinting in PyCharm 5
投反对票是为了什么？这不是那么糟糕的问题。
@furas 很酷，谢谢！！

标签： python programming-languages duck-typing static-typing

【解决方案1】：

boo 和 cython - 第一个是 .net 平台的“单人项目”语言，第二个是完整的、真正的 Python 超集，可编译为 C 并将它们编译为目标代码，并且是在 ide 中用于创建需要本机代码的 Python 库，或用于调用二进制库的包装器。

【讨论】：

谢谢！我知道这些替代方案不是 Python 等交互式解释器（如果我错了，请纠正我）。
我不知道 boo - 通过修改 Python REPL 循环，应该可以拥有一个交互式 Cython 解释器 - 看起来 tehre 是一个 iPython 扩展，允许交互式使用 Cython已经：acsgsoc15.wordpress.com/2015/04/07/using-cython-in-ipython