Learning Functional Programming in Go

Domains, codomains, and morphisms

If we look closely, we can find ordered pairs of data all around us. Let's look at some statistics of Lionel Messi. The following table shows how many goals Messi scored for 10 consecutive years:

We say that the domain is set A: {2007, 2007, 2007, 2010, 2011, 2012, 2013, 2014, 2015, 2016} and the range (or codomain) is set B: {5, 6, 7, 8, 10} and that the ordered pairs are {(2007,10), (2008, 6), (2008, 8), (2010, 5), (2011, 8), (2012, 5), (2013, 5), (2014, 7), (2015, 6), (2016, 10)}.

Each year maps to a number of goals scored.

If the year where x and y was calculated by calling a function named f, we could ...