静态成员类型或朱莉娅什么也没有

Question

只是试图了解Julia，并且遇到了类型成员应该属于特定类型的需求，或者它也可以是NIVolume。所以，我尝试了以下内容：

util-linux 2.28

然而，当我尝试初始化这个对象时，我得到：

  

错误：LoadError：LoadError：MethodError：没有方法匹配   Union（:: Type {NIfTI.NIVolume}，:: Void）

我想这样做的原因是没有很好的默认方式来初始化util-linux对象，并且在需要时保持未初始化似乎是个好主意。

Answer 1

朱莉娅的类型系统也可以表达一个表达式不能产生任何价值的概念 - 例如如果它抛出一个错误或者是一个无法执行的基本块的一部分（死代码）。永远不会产生值的表达式的类型是空联合类型Union {}：零类型的并集，其中没有值是实例。这与什么都没有区别 - 因为没有什么是正常的（但是无趣的）值，所以它不能是Union {}的实例。

http://docs.julialang.org/en/release-0.4/manual/faq/#nothingness-and-missing-values