Зачем ставить универсальный тип рядом с функцией?

Question

Когда я смотрю на библиотеки Scala, я вижу такой код.Зачем ставить тест [A] .

   def test[A](block : Int => Unit) : Unit = {  
        block(10)
    }     

    test { u =>

        println(u)        
    }

Это так же верно, я полагаю.Он работает так же.

 def test(block : Int => Unit) : Unit = {   
            block(10)
        }   

Мне просто было любопытно, что за обоснование (или шаблон проектирования) стоит за этим.Спасибо.

Answer 1

Параметр типа A здесь не имеет смысла, поскольку он не используется.

def test[A](block: Int => A): A = block(10)

Здесь A указывает тип возвращаемого значения.

Answer 2

Если рядом с функцией имеется универсальный тип, это означает, что функция является универсальной.

Ниже приведен очень простой пример:

// generic functions which returns type of `A`
def test1[A](x: A) = x
def test2[A](x: => A) = { println("Hello"); x }

val x1 = test1(1)
// x1: Int = 1

val x2 = test1("Hello World")
// x2: java.lang.String = Hello World

val x3 = test2(123.4)
// Hello
// x3: Double = 123.4

val x4 = test2("Test2")
// Hello
// x4: java.lang.String = Test2

Как видите, тип возвращаемых значений test1 и test2 определяется типом их аргументов.

Ниже приведен еще один вариант использования.

// We could implement `map` function ourself.
// We don't care about what type of List contains,
// so we make it a generic function.
def map[A, B](xs: List[A], f: A => B): List[B] = {
    var result: List[B] = Nil
    for (i <- xs) {
        result ++= List(f(i))
    }
    result
}

// Now use can map any type of List to another List.
map(List("1", "2", "3"), (x: String) => x.toInt)
//res1: List[Int] = List(1, 2, 3)