From a58cb75eeca42d7bae9346cb87fe4b5a5af9324e Mon Sep 17 00:00:00 2001 From: Wale O Date: Thu, 19 Oct 2017 00:39:25 -0700 Subject: [PATCH] add purely functional data structures to paradigms readme --- paradigms/functional_programming/README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/paradigms/functional_programming/README.md b/paradigms/functional_programming/README.md index 31b9d09..50440cb 100644 --- a/paradigms/functional_programming/README.md +++ b/paradigms/functional_programming/README.md @@ -6,11 +6,12 @@ From Patrick Thomson's [An introduction to Recursion Schemes](http://patrickthomson.ghost.io/an-introduction-to-recursion-schemes/): > In 1991, Erik Meijer, Maarten Fokkinga, and Ross Paterson published their now-classic paper Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. Though this paper isn’t widely known outside of the functional programming community, its contributions are astonishing: the authors use category theory to express a set of simple, composable combinators, called recursion schemes, that automate the process of traversing and recursing through nested data structures. Though recursion schemes predate Meijer et. al’s work, this paper brings the enormous abstractive power of category theory to bear on the subject of traversing data structures—it’s a magnificent example of how category-theoretical concepts can bring both rigor and simplicity to day-to-day programming tasks. - + * :scroll: [Equal Rights for Functional Objects or, The More Things Change, The More They Are the Same](equal-rights-for-functional-objects.pdf) * :scroll: [Optimal Purely Functional Priority Queues](optimal-purely-functional-priority-queues.pdf) * :scroll: [Why Functional Programming Matters](why-functional-programming-matters.pdf) +* [:scroll:](purely-functional-data-structures.pdf) [Purely Functional Data Structures](https://www.cs.cmu.edu/~rwh/theses/okasaki.pdf) ## Applicative Programming