如何在用户空间中创建像`()`这样的对象

Question

在Julia中,空元组既是类型又是该类型的实例.所以isa((),())是true.是否有可能自己创建一个类似的对象？

Answer 1

我不相信.事实上,在朱莉娅0.4 isa((),())不再是真的.现在的类型()是Tuple{}:

julia> VERSION
v"0.4.0-dev+5441"

julia> typeof(())
Tuple{}

julia> isa((),()) # Throws an error since () is no longer considered a Type
ERROR: TypeError: isa: expected Type{T}, got Tuple{}

我觉得剩下的唯一对象是自己的一个实例是Any,Type和DataType.