Lambda World 2018 - Abstract your representation and fix your functors by Susan Potter

31:29 735 views 80% Published 3 years ago

This presentation by Susan Potter took place at Lambda World Seattle on September 18th, 2018 at the Living Computers Museum in Washington. Abstract your representations (and fix your functors)Factoring in software development is the process of decomposing a complex problem or system into constituent parts which are easier to organize, understand, build, and maintain. So why do we refactor so often in our industry?This talk will introduce the audience to approaches exploited in functional languages supporting parametric polymorphism and higher-kinded types. Leveraging these constructs allows us to re-compose parts of our system in a way that reduces (compared to conventional industrial techniques) the need to refactor large parts. Instead, we define much smaller pieces, passing them as arguments to reusable (already written) generalized patterns of computation.Not only do we free ourselves from the underlying representation of our structures, this simplifies and reduces ongoing maintenance efforts, but we also get the benefit of termination guarantees and less cumbersome composition of data constructors.Join us on an exploration of the promise of recursion schemes starting out by merely abstracting representation from our program's structure.Follow: - - - for more details-

Watch on YouTube

Lambda World 2018

Lambda World 2018

From 25/10/2018 to 26/10/2018 in Cadiz, Spain