Карта - это функция, которая применяет другую функцию ко всем элементам в списке, чтобы создать другой список со всеми возвращаемыми значениями в нем. (Другой способ сказать «применить f к x» - «вызвать f, передать ему x». Иногда лучше сказать «применить» вместо «вызвать».)
Вот так, вероятно, написана карта на C # (она называется Selectи находится в стандартной библиотеке):
public static IEnumerable<R> Select<T, R>(this IEnumerable<T> list, Func<T, R> func)
{
foreach (T item in list)
yield return func(item);
}
Поскольку вы чувак на Java, а Джоэл Спольски любит рассказывать ГРОМНУЮ НЕПРАВИЛЬНУЮ ложь о том, насколько дрянная Java (на самом деле, он не лжет, это дерьмо, но я пытаюсь вас убедить), вот моя очень грубая попытка версия Java (у меня нет компилятора Java, и я смутно помню версию Java 1.1!):
// represents a function that takes one arg and returns a result
public interface IFunctor
{
object invoke(object arg);
}
public static object[] map(object[] list, IFunctor func)
{
object[] returnValues = new object[list.length];
for (int n = 0; n < list.length; n++)
returnValues[n] = func.invoke(list[n]);
return returnValues;
}
Я уверен, что это можно улучшить миллионами способов. Но это основная идея.
Reduce - это функция, которая превращает все элементы списка в одно значение. Для этого ему нужно дать другую функцию, funcкоторая превращает два элемента в одно значение. Это сработает, если передать первые два элемента в func. Затем результат этого вместе с третьим пунктом. Затем результат этого с четвертым элементом, и так до тех пор, пока все элементы не исчезнут, и у нас останется одно значение.
В C # Aggregateметод reduce вызывается и снова находится в стандартной библиотеке. Я сразу перейду к версии для Java:
// represents a function that takes two args and returns a result
public interface IBinaryFunctor
{
object invoke(object arg1, object arg2);
}
public static object reduce(object[] list, IBinaryFunctor func)
{
if (list.length == 0)
return null; // or throw something?
if (list.length == 1)
return list[0]; // just return the only item
object returnValue = func.invoke(list[0], list[1]);
for (int n = 1; n < list.length; n++)
returnValue = func.invoke(returnValue, list[n]);
return returnValue;
}
Эти версии Java нуждаются в добавлении дженериков, но я не знаю, как это сделать на Java. Но вы должны иметь возможность передавать им анонимные внутренние классы для предоставления функторов:
string[] names = getLotsOfNames();
string commaSeparatedNames = (string)reduce(names,
new IBinaryFunctor {
public object invoke(object arg1, object arg2)
{ return ((string)arg1) + ", " + ((string)arg2); }
}
Будем надеяться, что дженерики избавятся от слепков. Типичный эквивалент в C #:
string commaSeparatedNames = names.Aggregate((a, b) => a + ", " + b);
Почему это «круто»? Простые способы разбить большие вычисления на более мелкие части, чтобы их можно было собрать различными способами, всегда круто. Google применяет эту идею к распараллеливанию, потому что и map, и reduce могут совместно использоваться на нескольких компьютерах.
Но ключевое требование НЕ состоит в том, чтобы ваш язык мог рассматривать функции как значения. Любой объектно-ориентированный язык может это сделать. Фактическое требование к распараллеливанию заключается в том, что небольшие funcфункции, которые вы передаете в map и reduce, не должны использовать или обновлять какое-либо состояние. Они должны возвращать значение, которое зависит только от переданных им аргументов. В противном случае результаты будут полностью испорчены, если вы попытаетесь запустить все это параллельно.