标签： python programming-languages duck-typing static-typing
是否有任何编程语言与Python类似，但允许您自愿明确指定任何变量/参数/返回值的类型，以便每当您确实这样做时 - IDE可以强制执行某些类型约束吗？
答案 0 :(得分：1)
boo和cython - 第一个是＆＃34;一个人项目＆＃34;语言到.net平台，第二个是完整的，真正的Python超集，它编译为C，它们编译为目标代码，用于创建需要本机代码的Python库，或者用于调用二进制库的包装器。 / p>
.net