¿Cuál es el nombre de esta sintaxis de infijo de Scala para especificar params de tipo?

Question

Noté esta sintaxis interesante el otro día para especificar los parámetros de tipo para una clase de Scala.

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

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

¿Hay un nombre para este tipo de sintaxis? ¿Cuál es un buen caso de uso para eso?

Answer 1

Aquí hay un ejemplo de "Programming Scala" (O'Reilly), página 158 en el Capítulo 7, "The Scala Object System", que adaptamos del blog de Daniel Scobral (http://dcsobral.blogspot .com/2009/06/catching-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) 

O es un tipo incorporado y este lenguaje es común en algunos lenguajes funcionales como alternativa a lanzar una excepción. Tenga en cuenta que Izquierda y Derecha son subtipos de Cualquiera. Personalmente, me gustaría que el tipo se llamara "O", por lo que podría escribir "Throwable O T".

Answer 2

Es solo una aplicación infija de un constructor de tipo binario. Al igual que con la aplicación infija de métodos, se usa más comúnmente cuando el nombre del constructor o método de tipo comprende caracteres de puntuación. Los ejemplos en la biblioteca 2.8 incluyen <:<, <%< y =:= (ver scala.Predef).