Principiante: alias di tipo Scala in Scala 2.10?

Question

Perché questo codice non riesce a compilare con l'errore: non trovato: valore Matrix? Dalla documentazione e alcuni esempi di codice (probabilmente non aggiornati) dovrebbe funzionare?

object TestMatrix extends App{ 
type Row = List[Int] 
type Matrix = List[Row] 


val m = Matrix(Row(1,2,3), 
       Row(1,2,3), 
       Row(1,2,3) 
      ) 


} 

Answer 1

Matrix indica un tipo, ma lo si utilizza come un valore.

Quando si esegue List(1, 2, 3), si sta effettivamente chiamando List.apply, che è un metodo di fabbrica per List.

Per risolvere il tuo errore di compilazione, è possibile definire le proprie fabbriche per Matrix e :

object TestMatrix extends App{ 
    type Row = List[Int] 
    def Row(xs: Int*) = List(xs: _*) 

    type Matrix = List[Row] 
    def Matrix(xs: Row*) = List(xs: _*) 

    val m = Matrix(Row(1,2,3), 
     Row(1,2,3), 
     Row(1,2,3) 
    ) 
} 

Answer 2

Da this articolo che avete.

Note also that along with most of the type aliases in package scala comes a value alias of the same name. For instance, there's a type alias for the List class and a value alias for the List object.

Una soluzione al problema si traduce in:

object TestMatrix extends App{ 
    type Row = List[Int] 
    val Row = List 
    type Matrix = List[Row] 
    val Matrix = List 

    val m = Matrix(Row(1,2,3), 
        Row(1,2,3), 
        Row(1,2,3)) 
}