Глядя на код с foldl сложно понять его синтаксис, например:
def lstToMap(lst:List[(String,Int)], map: Map[String, Int] ):Map[String, Int] = {
(map /: lst) (addToMap)
}
Является ли /: инфиксным оператором? Что означает (map /: lst), частичное применение? Почему я не могу позвонить так:
`/: map lst addToMap`
Имена методов, оканчивающиеся на символ :, могут использоваться слева от экземпляра, к которому они привязаны (т. е. они связаны справа). В данном случае /: — это метод для List< /а>. Согласно Скаладоку:
Примечание: /: — это альтернативный синтаксис для foldLeft; z /: xs совпадает с xs foldLeft z.
Альтернативой тому, что вы написали, было бы:
lst./:(map)(addToMap)
Изменить: и еще одна альтернатива с foldLeft:
lst.foldLeft(map)(addToMap)
foldLeft имеет два аргумента - начальное значение и функцию складывания. Тогда почему lst.foldLeft(map, addToMap) приводит к ошибке too many arguments for method foldLeft: (z: B)(f: (B, (String, Int)) => B)B?
- person Anton Ashanin; 25.03.2013
foldLeft имеет две группы параметров (как видно из двух групп скобок) - первая группа ожидает один аргумент, что является причиной сообщения об ошибке. Второй аргумент относится ко второй группе. Я отредактировал ответ с примером, используя foldLeft. Как видите, это буквально замена /:.
- person Kristian Domagala; 25.03.2013
Да, /: можно использовать как инфиксный оператор. Однако операция fold принимает три аргумента:
Используя инфикс, вы можете указать только два из этих трех аргументов: последовательность (которая является получателем) и начальное значение. Тот факт, что (map /: lst) является частичным приложением, отражает тот факт, что вам все еще не хватает аргумента. Вот пример произведения последовательности чисел, начиная с начального значения 1:
(1 /: xs)(_*_)
Поскольку Scala поддерживает фигурные скобки для литералов функций, вы также можете использовать их, чтобы аргумент функции больше походил на тело функции:
(1 /: xs) { (x, y) =>
x * y
}
