1. Первые шаги
2. Сочетаем функции
3. Частичное применение (каррирование)
4. Декларативное программирование
5. Бесточечная нотация
6. Неизменяемость и объекты
7. Неизменяемость и массивы
8. Линзы
9. Заключение


Данный пост завершает серию статей о функциональном программировании под названием "Мышление в стиле Ramda".


В последние восемь постов мы говорили о JavaScript библиотеке Ramda, которая предоставляет функции для работы с JavaScript в функциональном, декларативном и иммутабельном стиле.


В течении этой серии статей, мы узнали, что Ramda имеет несколько основных принципов, которыми движется её API:


  • Данные идут последними: почти все функции принимают параметр с данными последним аргументом.
  • Каррирование: почти каждая функция в Ramda "каррирована". То есть, вы можете вызвать функцию только с частью неоходимых аргументов, и получить новую функцию, которая будет ожидать оставшиеся аргументы. Как только все аргументы будут предоставлены — оригинальная функция будет вызвана.

Эти два принципа позволяют нам писать очень чистый функциональный код, который объединяет базовые строительные блоки в более мощные операции.


Резюме


Для справки, вот короткое резюме серии статей.


  • Первые шаги представляет нам идею функций, чистых функций и иммутабельности. Далее она вводит нас в функции итерации по коллекциям, такие как map, filter и reduce.
  • Объединение функций показывает нам, как мы можем объединять наши функции различными способами, используя такие инструменты как both, either, pipe и compose.
  • Частичное применение (каррирование) помогает нам понять, когда и как может быть полезно предоставить некоторые аргументы функции и получить возможность предоставить остальные позже. Мы используем partial и curry для того чтобы помочь нам с этим и узнаём о flip и заполнителе (__)
  • Декларативное программирование учит нас разнице между императивным и декларативным программированием. Мы узнаём, как использовать декларативные заменители Ramda для арифметики, сравнений, логики и условий.
  • Бесточечная нотация представляет нам идею бесточечного стиля, также известную как "молчаливое программирование". В бесточечном стиле, мы не видим аргументы с данными, с которыми мы работаем, это делается неявно. Наши программы составляются из маленьких простых блоков, которые объединяются вместе для того чтобы делать то, что нам нужно. Только в самом конце мы применяем наши составные функции к актуальным данным.
  • Неизменяемость и объекты возвращает нас к идее о работе в декларативном стиле, это время для получения инструментов, нужных для чтения, обновления, изменения, удаления и трансформации свойств объектов.
  • Неизменяемость и массивы продолжает тему и показывает нам, как делать подобные операции с массивами.
  • Линзы завершают серию вместе с представлением концепции линз, конструкции, которая позволяет нам сфокусироваться на маленьких частях больших структур данных. Используя функции view, set и over, мы можем читать, обновлять и трансформировать значение, на котором сфокусирована линза в контексте больших структур данных.

Что дальше?


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


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


Если вы заинтересовались более сложными функциональными темами, вот несколько мест, к которым вы можете обратиться:


  • Трансдюсеры: здесь можно почитать хорошую вступительную статью о том, как парсить логи с помощью трансдюсеров.
  • Алгебраические типы данных: если вы достаточно читали о функциональном программировании, вы слышали о алгебраических типах и таких терминах как "Функтор", "Аппликатор" и "Монад". Если вам интересно изучить эти идеи в контексте Ramda, обратите внимание на проект ramda-fantasy, который реализует некоторые типы данных, которые соответствуют спецификации Fantasy Land (или Алгебраическая Спецификация JavaScript)



От автора переводов статей: если будет угодно Господу, я продолжу переводить статьи о Ramda, в частности, у меня есть желание перевести статью об использовании ramda с redux, статью о функциональных компонентах с React stateless функциями и Ramda, статью о модульных редюсерах и селекторах, и наверное статью о глобализации redux-селекторов.

Комментарии (0)