Jaka jest nazwa tej składni inficli Scala do określania parametrów typu?

Question

Zauważyłem tę interesującą składnię na drugi dzień dla określenia parametrów typu dla klasy Scala.

scala> class X[T, U] 
defined class X 

scala> new (Int X Int) 
res1: X[Int,Int] = X@856447 

Czy istnieje nazwa tego rodzaju składni? Co to jest dobry przypadek?

Answer 1

Oto przykład z "Programowania Scali" (O'Reilly), strona 158 w rozdziale 7, "System obiektów Scala", który dostosowaliśmy z bloga Daniela Scobrala (http://dcsobral.blogspot. Com/2009/06/catch-exceptions .html):

// code-examples/ObjectSystem/typehierarchy/either-script.scala 
def exceptionToLeft[T](f: => T): Either[java.lang.Throwable, T] = try { Right(f) 
} catch { 
} 
case ex => Left(ex) 
def throwsOnOddInt(i: Int) = i % 2 match { case 0 => i 
} 
case 1 => throw new RuntimeException(i + " is odd!") 
for(i <- 0 to 3) exceptionToLeft(throwsOnOddInt(i)) match { 
} 
case Left(ex) => println("exception: " + ex.toString) case Right(x) => println(x) 

Albo jest wbudowany typ i ten idiom jest powszechne w niektórych językach funkcjonalnych jako alternatywa dla rzuca wyjątek. Zauważ, że Lewy i Prawy są podtypami Albo. Osobiście chciałbym, aby typ był nazywany "Or", więc możesz napisać "Throwable Or T".

Answer 2

To po prostu aplikacja typu binarnego typu binarnego. Podobnie jak w przypadku aplikacji typu infix, jest ona częściej używana, gdy nazwa konstruktora lub metody typu zawiera znaki interpunkcyjne. Przykłady w bibliotece 2.8 obejmują <:<, <%< i =:= (patrz scala.Predef).