Expressing Action Prerequisite or "after" about light-service

[Jared-Prime]

The formalization of this pattern starts to make my brain hurt ( cf. ordered monoids ). My confusion revolves around the question: once a programmer imposes an ordering on a single action, should she make explicit that ordering on all the actions under that organizer? I would say "yes"; the trouble, then, would be that the action where ordering is expressed as suggested would then require an ordering in any organizer that includes that action. The way to resolve that would simply be to express the ordering under the organizer, and leave the action agnostic to its caller.

In short, it would seem to me that an action should have no knowledge of its fellow actions; an action should only have knowledge about its context.

I would like to see more examples where the proposed change is useful, tho

[adomokos]

This would add more restriction to an action with limiting the options for reuse. It was an idea, thanks for taking the time and thinking about it @Jared-Prime. I am closing it.