Nothing型がクラス階層の最下部にある場合、なぜそれに対して考えられるメソッドを呼び出せないのですか？

Question

スカラ型Nothingは（私が理解するように）タイプ階層の下を表し、記号⊥で示されています。つまり、Nothingは任意のタイプのサブタイプです。 Nothingタイプの要件は、タイプ理論の理論的背景なしに私たちのもののためにexplained well by James Iryです！

Nothingがすべてのタイプのサブタイプである場合、どうしてタイプのメソッドをNothingで呼び出せないのですか？明らかに、私はNothingをインスタンス化することはできませんが、なぜ以下のコンパイルはできませんか？ Nothingとして確か

var n: Nothing = _ 

def main(args: Array[String]) { 
    println(n.length) //compile error: value length is not a member of Nothing 
} 

はStringのサブタイプが、これはOKである必要がありますか？次のコンパイルはちょうど良いことに注意してください！

var n: Nothing = _ 

def foo(s: String) : Int = s.length 

def main(args: Array[String]) { 
    println(foo(n)) 
} 

ないよう：

def main(args: Array[String]) { 
    println(n.asInstanceOf[String].length) 
} 

Answer 1

Nothingはすべてのサブタイプですが、は、Anyのものを除き、を継承しません。これは、Nothingが言語の機能的な終わりに向かっているためです。 OptionとListのようなものは必要ですが、タイプのように、クラスとしてではありません。

ここでの区別は、オブジェクト指向の背景から来た人にとってはちょっと変わっていますが、実際にはOOPとは非常に異なる概念であるということです。確かに、オブジェクト指向は何らかの形でサブタイプ化を意味しますが、その逆は真ではありません。 Benjamin Pierceのタイプとプログラミング言語F_<（ "F sub"と発音）は、サブタイプ付きの最小限の例として機能しますが（OOではありません）、優れた表現です。

今や、私は、Nothingが通常の継承ルールから免れているという事実は、少し矛盾しているようです。しかし、理論的な観点からは、理にかなっています。

Answer 2

私はNothingは（例外をスロー）のいずれかの方法を受け入れ、それらのすべてに標準操作を実行する可能性があるとします。しかしそれはあまり役に立ちません。

コンパイラエラーを提示することによって、コンパイラは、プログラマに、彼が最も望ましくないタイプのコードNothingがコード内のどこかで推測されたことを警告します。
final trait Nothing extends Any
とのtoString Anyのメンバーである：それはdefintionよのため

Answer 3

あなたはNothing変数にtoStringを呼び出すことができます。私はscalaコンパイラの治療法Nothingはタイプ境界内にあると思うし、それは他のどのような特性もすべての場合と同様に扱います。 Nothingの型で変数の任意のメソッドを呼び出すことは非常に奇妙に思えます。