Pasted from Reddit:
While typically in functional programming articles the emphasis is on functions, in what I call "Math Driven Design" or "Mathematical Programming" the emphasis is on sets, as fundamental building block. The ultimate goal of these articles (two I think) is to show, **in a pragmatic way**, a parallel like this:
domain models -> series of set definitions
functions -> theorems