We're planting a tree for every job application! Click here to learn more
WORKSHUB

Anamorphisms aka Unfolds Explained

Marty Stumpf

7 Apr 2022

4 min read

Anamorphisms aka Unfolds Explained
  • Functional Programming
  • Haskell
  • Typed Functional Programming

This is the sixth of a series of articles that illustrates functional programming (FP) concepts. As you go through these articles with code examples in Haskell (a very popular FP language), you gain the grounding for picking up any FP language quickly. Why should you care about FP? See this post.

In the last post, we learned about folding nonempty structures. In this post, we'll learn about another recursion scheme: anamorphisms, also referred to as unfolds.

Fold and Unfold

Unfolds can be thought of as the dual of folds. As Conal Elliott puts it: while folds contract a structure down to a value, unfolds expand a structure up from a value!

How are they dual to each other? Folds output a value from a list while unfolds output a list from a value. They both take a function as an input which describes the fold/unfold process. In folds, the function is applied to elements of the input list. The elements are folded into a value as the function applies to each element. In unfolds, the function is applied to the input value and is unfolded to a whole list.

Folds can have a base case value for when the input list is empty. Unfold can have a predicate that describes the condition when the list should stop expanding. If no condition is given, what do we get? That’s right! An infinite list!

iterate in Haskell

Before looking at the unfoldr function in detail, let's look at a specific case of unfoldr: iterate. iterate is a function that unfolds without a predicate. It takes a function and an initial input, and returns an infinite list with the function applies to the input recursively. As stated in the [prelude](http://hackage.haskell.org/package/base-4.12.0.0/docs/Prelude.html# v:iterate):

iterate :: (a -> a) -> a -> [a]

iterate f x returns an infinite list of repeated applications of f to x: iterate f x == [x, f x, f (f x), ...]

For example, let f x = 2*x, the result of iterate f 1 is [1, 2*1, 2*(2*1), 2*(2*2*1),...]

We can see this in GHCi. We need to take the first 10 results of (iterate (*2) 1) with take 10 because otherwise GHCi would not stop printing the infinite list:

Prelude> take 10 (iterate (*2) 1)
[1,2,4,8,16,32,64,128,256,512]

If you look at the source code, you will see that iterate is written with unfoldr:

iterate f == unfoldr (\x -> Just (x, f x))

Let's see how that works by learning more about unfoldr!

unfoldr in Haskell

You can find the unfoldr method in the [Data.List](https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-List.html# g:9) module in Haskell. It has the following signature:

unfoldr :: (b -> Maybe (a, b)) -> b -> [a] 

The first argument to unfoldr is a function that takes an argument of type b and returns a Maybe (a, b). That is, the return value is either Nothing (when the predicate is true) or a pair (when the predicate is false).

The second argument to unfoldr is the initial input to the first argument.

Unfolds take an initial input, apply it to a function that returns a pair, and repeat the process to the second of the pair while joining the outputs in a list.

The Formal Definition of Unfolds

The formal definition of unfolds is:

Given

(1) a predicate p which returns a bool. I.e., p b = True or p b = False.

(2) a function f which returns a pair (a, b’). I.e., f b = (a, b’).

A list anamorphism unfold is

When p b = True, unfold b = [],

otherwise, unfold b = a : unfold b’.

That is, for each unfold we just need to specify p and f and give it a value b. Let’s see an example to illustrate this definition! E.g., if we want a list [b, b+1, b+2, …, 9] then:

Let p b = b > 9 and f b = (b, b + 1), so:

When b > 9 unfold b = [],

otherwise, unfold b = b : unfold (b + 1).

E.g., when b = 7:

unfold 7 = 7 : unfold 8 because 7 > 9 evaluates to False

=> [7, (8 : unfold 9)] because 8 > 9 evaluates to False

=> [7, 8, (9 : unfold 10)] because 9 > 9 evaluates to False

=> [7, 8, 9] because 10 > 9 evaluates to True and thus unfold 10 = [].

In Haskell:

--Import Data.List so that we can use the unfoldr function. 
import Data.List

-- example takes the initial input and returns a list
-- p and f are combined into one function which you input to unfoldr
example :: (Ord a, Num a) => a -> [a]
example = unfoldr (\x -> if x > 9 then Nothing else Just (x, x+1))

--Print out results of (example 7) and (example 0).
main = do
  print (example 7)
  print (example 0)

In a terminal, run runhaskell on the file with the above code. (runhaskell runs the .hs file you specify.) You will see the lists you created:

[7,8,9][0,1,2,3,4,5,6,7,8,9]

Looking back at iterate:

iterate f == unfoldr (\x -> Just (x, f x))

We have specified that the function input to unfoldr is (\x -> Just (x, f x)). That is, we specify that with iterate, we always return the next output by applying the function f to it, hence the infinite list [x, f x, f (f x), ...].

Since the list constructors are in the definition of unfoldr, unfoldr always expands to a list, not other structures. This is unlike folds which applies to any foldable types.

And that's it! You've learned another recursion scheme, unfolds. In the next post, we'll look at another recursion scheme: hylomorphisms. Stay tuned!

Did you like this article?

Marty Stumpf

Software engineer. Loves FP Haskell Coq Agda PLT. Always learning. Prior: Economist. Vegan, WOC in solidarity with POC.

See other articles by Marty

Related jobs

Title

The company

title

Remote

Title

The company

title

Remote

Title

The company

title

Remote

Title

The company

title

Remote

Related articles

title

title

title

title

CareersCompaniesSitemapFunctional WorksBlockchain WorksJavaScript WorksAI WorksGolang WorksJava WorksPython WorksRemote Works
email iconhello@works-hub.comUK flag

Ground Floor, Verse Building, 18 Brunswick Place, London, N1 6DZ

US flag

108 E 16th Street, New York, NY 10003

Subscribe to our newsletter

Join over 111,000 others and get access to exclusive content, job opportunities and more!

© 2021 WorksHub

Privacy PolicyDeveloped by WorksHub