在哪些编程语言中，类型被视为值？

Question

Zig 编程语言提倡“类型即值”的概念，这对我来说似乎是一个非常强大的概念，我想知道还有哪些其他编程语言支持这个概念。

我知道，例如，C++ 模板可用于将类型传递给函数，但类型仍然与 C++ 中的值不同。

Answer 1

大多数脚本语言都有这个，例如：Python、Perl、Ruby、JavaScript、Lua。对于提前编译的语言（例如 C、C++、Rust、Go），这种情况不太常见。

此功能通常称为“第一类类型”，如另一个问题所示：什么是“第一类”类型？