Reminds me of category theory, which I tried to understand a little of yesterday, based on a discussion of Haskell. I don't know enough of either to know what the difference is between the two.