language-features - 是否有编程语言中的变量“知道”它们自己的类型，并且可以检索、比较和打印该类型？

Question

我最近在使用 Game Maker Language。作为一名 Fortran/C/C++ 程序员，我惊讶地发现那里的变量似乎“知道”它们的类型，并且这些信息可以在运行时以非常简单的方式在某种程度上使用。我不想深入研究 GML 的细节，所以我想稍微抽象一下这个问题：

是否存在类型信息表现为（可能是 const）字符串或枚举的语言，例如使以下操作（我将使用 C 风格，但当然细节无关紧要）成为可能，如果是，名称是什么那个语言功能？

假设我们已经声明了一个变量my_var、一个被调用的超类foo和一个子类bar：

1. printf("The name of this type is %s\n", foo);
2. if(my_var == foo) printf("This variable holds %s\n", foo);
3. printf("%s superclass is %s\n", bar, bar.superclass);