Map - це функція, яка застосовує іншу функцію до всіх елементів у списку, щоб створити інший список із усіма повернутими значеннями в ньому. (Іншим способом сказати "застосувати 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;
}
Я впевнений, що це можна покращити мільйоном способів. Але це основна ідея.
Зменшити - це функція, яка перетворює всі елементи у списку в одне значення. Для цього йому потрібно надати ще одну функцію, funcяка перетворює два елементи в одне значення. Це спрацювало б, віддавши перші два пункти func. Тоді результат цього разом із третім пунктом. Потім результат цього з четвертим елементом, і так далі, поки всі елементи не підуть, і у нас залишиться одне значення.
У C # викликається reduction Aggregateі знову знаходиться в стандартній бібліотеці. Я перейду прямо до версії 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 застосовує цю ідею до розпаралелювання, оскільки як карту, так і зменшення можна розподілити на кількох комп’ютерах.
Але ключовою вимогою НЕ є те, що ваша мова може розглядати функції як значення. Будь-яка мова OO може це зробити. Фактичною вимогою до розпаралелювання є те, що ті маленькі funcфункції, які ви передаєте для зіставлення та зменшення, не повинні використовувати або оновлювати будь-який стан. Вони повинні повернути значення, яке залежить лише від аргументів, переданих їм. В іншому випадку результати будуть повністю зіпсовані при спробі запустити все це паралельно.