[aghillo]

Is there any accessible work using Category Theory that looks at API composition? I’m thinking here about data intensive systems that are often composed of different elements (e.g. Kafka, Cassandra, bespoke microservices, ...) and are glued together in an application. Could Category Theory help in getting a grip on this complexity?

[arianvanp]

http://hackage.haskell.org/package/pipes is the first that comes to mind.

And just Haskell programming in general involve composition Effects are monads and program composition is composition over kleisli arrows .

[aghillo]

That looks very interesting and could be source of interesting ideas. Thank you.