почему сказка и рамда такие разные?

Question 1

Я изучаю javascript FP, читая книгу DrBoolean .

Я искал библиотеку функционального программирования. Я нашел Рамду и Сказку. Оба претендуют на звание библиотеки функционального программирования.

Но они такие разные:

Ramda, кажется, содержит служебные функции для работы со списком: карта, сокращение, фильтр и чистые функции: карри, составить. Он не содержит ничего, что могло бы иметь дело с монадой, функтором.
Folktale, однако, не содержит никаких утилит для списка или функций. Кажется, что в javascript реализованы некоторые алгебраические структуры, такие как монада: Может быть, Задача ...

На самом деле я нашел больше библиотек, все они, кажется, делятся на две категории. Подчеркивание и lodash подобны Рамде. Страна фэнтези, фэнтези без точек похожи на сказку.

Можно ли назвать обе эти очень разные библиотеки функциональными , и если да, то что делает каждую из них функциональной?

Question 2

Функциональные особенности

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

Первоклассные функции высшего порядка
Лямбда-выражения / анонимные функции с закрытием

Остальные можно выполнить с помощью Javascript с некоторой осторожностью:

Неизменность
Ссылочная прозрачность

Третьи являются частью ES6 и частично или полностью доступны прямо сейчас:

Компактные, даже лаконичные функции
Производительная рекурсия за счет оптимизации хвостового вызова

И есть много других, которые действительно выходят за рамки обычного Javascript:

Сопоставление с образцом
Ленивая оценка
Гомоиконность

Таким образом, библиотека может выбирать, какие функции она пытается поддерживать, и при этом называться «функциональными».

Спецификация фэнтезийной страны

Страна фантазий - это спецификация для ряда стандартных типов, перенесенных из математической теории категорий и абстрактной алгебры в функциональное программирование, таких как Monoid , Functor и Monad . Эти типы довольно абстрактны и, возможно, расширяют более знакомые понятия. Функторы, например, контейнеры , которые могут быть mapPED над функцией, то , как массив может быть mapPED по сравнению с использованием Array.prototype.map.

Сказка

Folktale - это набор типов, реализующих различные части спецификации Fantasy-land, и небольшой набор вспомогательных функций. Эти типы - это такие вещи, как Maybe , Either , Task (очень похоже на то, что в другом месте называется Future, и более законный родственник Promise) и Validation

Folktale - это, пожалуй, самая известная реализация спецификации Fantasy-land, и она пользуется большим уважением. Но не существует такой вещи, как окончательная реализация или реализация по умолчанию; Fantasy -land определяет только абстрактные типы, и реализация, конечно же, должна создавать такие конкретные типы. Претензия Folktale на то, чтобы быть функциональной библиотекой, очевидна: она предоставляет типы данных, обычно встречающиеся в языках функционального программирования, которые значительно упрощают функциональное программирование.

Этот пример из документации Folktale ( примечание : не в последних версиях документации) показывает, как его можно использовать:

// We load the library by "require"-ing it
var Maybe = require('data.maybe')

// Returns Maybe.Just(x) if some `x` passes the predicate test
// Otherwise returns Maybe.Nothing()
function find(predicate, xs) {
  return xs.reduce(function(result, x) {
    return result.orElse(function() {
      return predicate(x)?    Maybe.Just(x)
      :      /* otherwise */  Maybe.Nothing()
    })
  }, Maybe.Nothing())
}

var numbers = [1, 2, 3, 4, 5]

var anyGreaterThan2 = find(function(a) { return a > 2 }, numbers)
// => Maybe.Just(3)

var anyGreaterThan8 = find(function(a) { return a > 8 }, numbers)
// => Maybe.Nothing

Рамда

Ramda (отказ от ответственности: я один из авторов) - это совершенно другой тип библиотеки. Он не предлагает вам новых типов. ¹ Вместо этого он предоставляет функции, упрощающие работу с существующими типами. Он построен на принципах компоновки более мелких функций в более крупные, работы с неизменяемыми данными и предотвращения побочных эффектов.

Ramda работает в первую очередь со списками, но также и с объектами, а иногда и со строками. Он также делегирует многие из своих вызовов таким образом, чтобы он мог взаимодействовать с Folktale или другими реализациями Fantasy-Land. Например, mapфункция Ramda работает так же , как и функция Array.prototype, поэтому R.map(square, [1, 2, 3, 4]); //=> [1, 4, 9, 16]. Но поскольку Folktale Maybeреализует Functorспецификацию Fantasy-land , которая также определяет карту, вы также можете использовать mapс ней Ramda :

R.map(square, Maybe.Just(5)); //=> Maybe.Just(25);
R.map(square, Maybe.Nothing); //=> Maybe.Nothing

Заявления Ramda о том, что это функциональная библиотека, заключаются в упрощении компоновки функций, без изменения ваших данных и в представлении только чистых функций. Типичным использованием Ramda было бы создание более сложных функций путем составления более мелких, как показано в статье о философии Ramda.

// :: [Comment] -> [Number]  
var userRatingForComments = R.pipe(
    R.pluck('username')      // [Comment] -> [String]
    R.map(R.propOf(users)),  // [String] -> [User]
    R.pluck('rating'),       // [User] -> [Number]
);

Другие библиотеки

На самом деле я нашел больше библиотек, все они, кажется, делятся на две категории. подчеркиваю, lodash очень похожи на Ramda. Страна фэнтези, фэнтези без точек похожи на сказку.

Это не совсем так. Прежде всего, Fantasy-land - это просто спецификация, которую библиотеки могут решить реализовать для различных типов. Folktale - одна из многих реализаций этой спецификации, вероятно, наиболее полная и, безусловно, одна из самых зрелых. Безупречная фантазия и рамда-фэнтези - это другие, и их гораздо больше .

Underscore и lodash внешне похожи на Ramda в том смысле, что они представляют собой универсальные библиотеки, предоставляющие большое количество функций с гораздо меньшей согласованностью, чем что-то вроде Folktale. И даже определенные функции часто совпадают с функциональностью Ramda. Но на более глубоком уровне у Ramda совсем другие задачи, чем у этих библиотек. Близкие кузены Ramda являются , вероятно , библиотеки FKit , Fnuc и Wu.js .

Билби находится в отдельной категории, предоставляя как ряд инструментов, таких как предоставленные Ramda, так и некоторые типы, совместимые с Fantasy-land. (Автор Билби также является первоначальным автором Страны фантазий.)

Ваш звонок

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

Некоторые из этих библиотек действительно хорошо работают вместе. Ramda должна хорошо работать с Folktale или другими реализациями Fantasy Land. Поскольку их проблемы почти не пересекаются, они действительно не конфликтуют, но Ramda делает ровно столько, чтобы взаимодействие было относительно гладким. Это, вероятно, менее верно для некоторых других комбинаций, которые вы могли бы выбрать, но более простой синтаксис функций ES6 также может облегчить интеграцию.

Выбор библиотеки или даже стиля ее использования будет зависеть от вашего проекта и ваших предпочтений. Доступно множество хороших вариантов, и их количество растет, и многие из них значительно улучшаются. Хорошее время заняться функциональным программированием на JS.

¹ Ну, есть побочный проект ramda-fantasy, делающий что-то похожее на то, что делает Folktale, но он не является частью основной библиотеки.