Se il tipo Nothing è nella parte inferiore della gerarchia di classi, perché non posso richiamare alcun metodo concepibile su di esso?

Question

Il tipo scala Nothing rappresenta (a quanto ho capito) il fondo della gerarchia di tipi, indicato anche dal simbolo ⊥. Cioè, Nothing è un sottotipo di un dato tipo. Il requisito per un tipo Nothing è explained well by James Iry per quelli di noi senza uno sfondo teorico nella teoria dei tipi!

Quindi la mia domanda è, se Nothing è un sottotipo di ogni tipo, perché non posso chiamare i metodi di qualsiasi tipo su Nothing? Ovviamente, non posso istanziare Niente, ma perché non compila il seguente?

var n: Nothing = _ 

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

Sicuramente come Nothing è un sottotipo di String questo dovrebbe essere OK? Nota che il seguente compila bene!

var n: Nothing = _ 

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

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

come fa:

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

Answer 1

Mentre Nothing è un sottotipo di tutto, non si ereditano qualsiasi metodo ad eccezione di quelli in Any. Questo perché Nothing è più orientato verso la fine funzionale della lingua. È necessario per cose come Option e List, ma solo come tipo , non come classe.

La distinzione qui è un po 'strana per quelli provenienti da uno sfondo orientato agli oggetti, ma il fatto è che la sottotipizzazione come concetto è molto diversa da OOP. Certo, l'orientamento agli oggetti implica davvero sottotipizzazione in qualche forma, ma il contrario non è vero. I tipi di Benjamin Pierce fanno un buon lavoro di presentazione della lingua F_< (pronuncia "F sub"), che serve come esempio minimo di una lingua con sottotipizzazione (ma non OO).

Ora, con tutto ciò che detto, sono d'accordo sul fatto che il fatto che Nothing sia immune dalle normali regole di ereditarietà sembra un po 'incoerente. Tuttavia, da un punto di vista teorico, ha perfettamente senso.

Answer 2

suppongo Nothing potuto accettare qualsiasi metodo, ed eseguire un'operazione di serie su tutti loro (un'eccezione). Questo non sarebbe molto utile, però.

Presentando un errore di compilazione, il compilatore avverte il programmatore che un tipo che probabilmente non voleva, Nothing, è stato inferito in qualche modo in un determinato punto del codice.

Answer 3

È possibile chiamare toString su Nothing variabile a causa di esso s defintion:
final trait Nothing extends Any
E toString è membro della Any. Penso che lo scaleratore compili lo Nothing nei limiti del tipo e lo consideri come qualsiasi altro tratto in tutti i casi. Lasciare invocare qualsiasi metodo su variabile con tipo di Nothing sarà molto strano, credo.