Scala: когда требуются типы параметров функции?

В Scala существует множество способов, которые могут быть определены в функции, что приводит к путанице в том, когда требуются точно определенные типы параметров параметров. Обычно я начинаю с самого простого определения и работаю до конца, пока ошибки компилятора не исчезнут. Я бы лучше понял, как это работает.

Например:

_ + _

(x, y) => x + y

(x: Int, y: Int) => x + y

def sum(x: Int, y: Int) = x + y // as pointed out, this is a method,
                                // which not a function

Бонусные баллы за ссылку на документацию.

Ответы

Ответ 1

Ну, есть некоторые угловые случаи вроде: рекурсивный метод должен быть явно типизирован, но обычно правило имеет следующий вид: типы должны откуда-то появляться.

Либо они поступают из ссылочной части:

val function: (Int, Int) => Int = _ + _

или из части объекта:

val function = (x: Int, y: Int) => x + y

не имеет большого значения. (в Scala!)

Я знаю, что вы задаете вопрос о функциях, но вот пример, иллюстрирующий вывод типа Scala:

// no inference
val x: HashMap[String, Int] = new HashMap[String, Int]()
val x: HashMap[String, Int] = new HashMap[String, Int]

// object inference
val x: HashMap[String, Int] = new HashMap()
val x: HashMap[String, Int] = new HashMap
val x: HashMap[String, Int] = HashMap() // factory invocation

// reference inference
val x = new HashMap[String, Int]()
val x = new HashMap[String, Int]
val x = HashMap[String, Int]() // factory invocation

// full inference
val x = HashMap("dog" -> 3)

EDIT В соответствии с запросом я добавляю случай функции более высокого порядка.

def higherOrderFunction(firstClassFunction: (Int, Int) => Int) = ...

можно вызвать так:

higherOrderFunction(_ + _) // the type of the firstClassFunction is omitted

Но это не особый случай. Тип ссылки явно упоминается. Следующий пример иллюстрирует аналогичный пример.

var function: (Int, Int) => Int = null
function = _ + _

Это примерно эквивалентно случаю функции более высокого порядка.

Ответ 2

Ваш четвертый пример - это метод, а не функция (см. этот вопрос). Вы должны указать типы аргументов для методов. Тип возвращаемого метода может быть выведен, если метод не рекурсивный, и в этом случае он должен быть указан явно.