Początkujący: alias typu Scala w Scali 2.10?

Question

Dlaczego ten kod nie kompiluje się z błędem: nie znaleziono: wartość Macierz? Z dokumentacji i niektórych (prawdopodobnie nieaktualnych) przykładów kodu powinno to zadziałać?

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 oznacza typ, ale używasz go jako wartości.

Kiedy robisz List(1, 2, 3), to w rzeczywistości dzwonisz pod numer List.apply, który jest fabryczną metodą dla List.

naprawić swój błąd kompilacji, można zdefiniować własne fabryki na Matrix i :

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

Od this artykuł masz.

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.

Rozwiązaniem problemu przekłada się:

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)) 
}