This is something I think a lot about. I spend a lot of time trying to think of something that composes. Monads are one answer. I think we need advanced term

This is something I think a lot about. I spend a lot of time trying to think of something that composes. Monads are one answer. I think we need advanced term rewriting systems that also optimize and equivalise. I really enjoy Joel on Software blog posts from this era.