Функціональні схеми дизайну [закрито]

Існує багато функціональних ідіом: монади, програми, стрілки тощо. Вони задокументовані в різних статтях, але, на жаль, я не знаю жодної книги чи статті, де вони зведені в одному місці (є Typeclassopedia, але в ньому багато областей, які недостатньо покриті). Чи може хтось порекомендувати статтю / книгу, яка добре висвітлює їх в одному місці та яка може бути доступною програмісту з проміжними навичками роботи з ПП?

Моя пропозиція - якщо ви хочете навчитися Скалі, прочитати книгу від Пола Кьюсано та Рунара Б'ярнасона:

http://manning.com/bjarnason/

Частина II: Бібліотеки функціонального дизайну та комбінаторів

6. Створення маленьких мов
7. JSON серіалізація
8. Тестування на основі специфікацій
9. Парсери
10. Чисто функціональний паралелізм
11. Чисто функціональний стан

Частина III: Функціональні схеми дизайну

1. Справа абстракції
2. Моноїди
3. Функціонери
4. Монади
5. Прикладні функтори
6. Перехідні та складні структури даних
7. Комонади

Частина IV: Порушення правил: ефекти та введення / виведення

1. Ефекти проти побічних ефектів
2. Потокова обробка та додаткове введення-виведення
3. Забезпечення визначення масштабів ефектів за допомогою системи типів

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

Досить поширеною схемою є побудова монад-трансформаторів замість простих монад (див. Також посилання в наступному параграфі). Це в основному означає, що ви будуєте щось, що повинно поєднуватися з іншими монадами, внаслідок чого виходить більш складний, здатний обробляти особливості обох.

У реальному світі Haskell є кілька глав про монадах. У Розділі 14. Монади автори пояснюють основи та деякі загальні звичаї (можливо, перелік, стан). Глава 15. Програмування за допомогою монад дає більше пояснень щодо їх ефективного використання (воно охоплює також монаду читача). Наступний розділ пояснює, як користуватися Парсеком , але може бути цікавіше шукати статті, що висвітлюють, як це насправді працює: це має бути справді хорошим прикладом добре організованого використання монад для розбору. Фіанлі, глава 18. Трансформатори Монадипредставляє, як працюють монадні трансформатори, а потім показує, як побудувати їх крок за кроком. Цікавими є також міркування щодо заключних розділів глави.

Я прочитав одного разу дійсно цікаве запитання на SO про творчі способи використання монад . Запропоновані посилання були чудовими читаннями по темі. З цим духом я намагався попросити те саме про стрілки : я, безумовно, отримав менше відповідей, ніж той, що стосується монад, але цікавих, проте.

Що стосується моделей OOP групи з чотирьох, є приємний набір 3-х статей IBM про цю тему в їхній серії Функціональне мислення . Цільовою функціональною мовою є Scala. Вони продовжують, пояснюючи звичні шаблони дизайну в OOP та показують, як вони відображають у Scala.

1. Функціональне мислення: Функціональні схеми дизайну, Частина 1 . Тут вони охоплюють фабрики, шаблонні методи, стратегію, легку вагу. Суть полягає в тому, що, маючи функції як значення першого класу, все набагато простіше.
2. Функціональне мислення: Функціональні схеми дизайну, Частина 2 . Йдеться про java та groovy . Він стосується схеми адаптера.
3. Функціональне мислення: Функціональні схеми дизайну, Частина 3 . Тут вони говорять про схему перекладача. Знову ж таки цільова мова - рихла.

Найбільш відповідна стаття у вашому питанні, безумовно, перша, але інші дві можуть бути цікавими пов'язаними читаннями.

Джеремі Гіббонс має блог "Шаблони" на FP, якому судилося з часом стати значною мірою книгою, про яку ви просите. Звичайно, це ще не в такому стані, щоб бути настільки корисним, як ви могли б хотіти просто зараз, але він заслуговує на деяке заохочення!

Тим часом я скажу +1 для Typeclassopedia Брента Йоргей. Це дійсно корисно, і якщо є пізніші частини, які плутають, цей сайт є хорошим місцем, щоб дістатись до них. Я знаю, що Brent перевіряє це. Якщо він не звертається до своїх читачів, дайте йому допомогу.

На сайті Олега розміщено багато матеріалів про ПП: http://okmij.org/ftp/

Презентація про моделі FP від ​​Josh Suereth: http://jsuereth.com/intro-to-fp/

Чи читали ви пізніші глави « Навчитись вам хаскелом для великого добра» ?

• Розділ 6 охоплює карти та складки, які є двома важливішими "моделями дизайну" у функціональних мовах.

• Розділи 11-13 охоплюють функціонери, додаткові функціонери та монади у такому порядку. Це корисно - у багатьох навчальних посібниках вводяться Functors, а потім Monads, а потім торкніться додатків Functors в кінці (якщо вони взагалі висвітлюють це). Порядок в LYAH кращий, тому що, переходячи від Functors => Applicative Functors => Monads рухає вас поступово вгору по сходах загальності та потужності.

• Розділ 14 охоплює Zippers - ви можете ефективно вважати це класами контейнерів із вказівником на певний фрагмент даних, що означає, що ви отримуєте O (1) доступ та оновлення у місці вказівника.

Він не охоплює Стрілки або Комонади, які є більш розвиненою темою в Haskell. Щоб зрозуміти, як і навіщо використовувати стрілки або комонади, ви обов'язково повинні вже чітко зрозуміти Monads, тому я не думаю, що це проблема - LYAH твердо спрямований на початковий кінець ринку Haskell.