java - 一种语言可以有编译时检查但动态类型的特征吗？

Question

阅读以下内容后:

A lot of people define static typing and dynamic typing with respect to the point at which the variable types are checked. Using this analogy, static typed languages are those in which type checking is done at compile-time, whereas dynamic typed languages are those in which type checking is done at run-time.

This analogy leads to the analogy we used above to define static and dynamic typing. I believe it is simpler to understand static and dynamic typing in terms of the need for the explicit declaration of variables, rather than as compile-time and run-time type checking.

Source

我在想，我们定义静态类型和动态类型的两种方式:编译时检查和显式类型声明有点像苹果和橘子。所有静态类型语言的一个特征(据我所知)是引用变量具有定义的类型。是否有一种语言既具有编译时检查的优势(如 Java)，又能够使变量不受特定类型限制(如 Python)？

注意:在像 Java 这样的语言中不完全是类型推断，因为变量仍然被分配了一个类型，只是隐式的。这种理论语言不会有引用类型，所以不会有转换。由于混淆，我试图避免使用“静态类型”与“动态类型”。

Answer 1

可能存在，但应该存在吗？

想象一下假设的伪 C++:

class Object
{
public:
    virtual Object invoke(const char *name, std::list<Object> args);
    virtual Object get_attr(const char *name);
    virtual const Object &set_attr(const char *name, const Object &src);
};

而且你有一种语言可以安排:

• 让Object类成为所有类的根基类
• 将 blah.frabjugate() 转换为 blah.invoke("frabjugate") 和
的语法糖
• blah.x = 10 到 blah.set_attr("x", 10)

添加一些结合 boost::variant 和 boost::any 属性的东西，你就有了一个很好的开始。 Python 的所有动态性(好的和坏的运行时错误)以及 C++ 或 Java 的 Eloquent 和严格(耶!)。与 call/jmp 机器指令相比，哈希表查找增加了运行时膨胀和效率。

在像 Python 这样的语言中，当您调用 blah.do_it() 时，它必须对字符串“do_it”进行潜在的多个哈希表查找，以确定您的实例 blah 或它的类在每次调用时都有一个名为“doit”的可调用对象。这是可以想象的最极端的后期绑定(bind):

flarg.do_it() # replaces flarg.do_it()
flarg.do_it() # calls a different flarg.do_it()

您可以让您的假设语言对绑定(bind)发生的时间进行一些控制。类 C++ 的标准方法粗略地静态绑定(bind)到明显的引用类型，而不是实际的实例类型。 C++ 虚拟方法后期绑定(bind)到对象实例类型。类 Python 的属性和方法极晚绑定(bind)到对象实例的当前版本。

我认为您绝对可以使用动态风格的强静态类型语言进行编程，就像您可以使用 C++ 或 Java 等语言构建解释器一样。一些语法 Hook 可以使它看起来更加无缝。但也许你可以反过来做同样的事情:也许是一个自动检查参数类型的 Python 装饰器，或者是一个在编译时执行它的元类？ [不，我不认为这是可能的...]

我认为您应该将其视为功能的结合。 但你会得到最好的和两个世界中最坏的...