absolutely. It seems that inevitably you’ll have to abstract a pack of computation under a single concept representing what the computation is globally about.

absolutely. It seems that inevitably you’ll have to abstract a pack of computation under a single concept representing what the computation is globally about. hence the general focus on isolation , interface and composability. Once you’ve abstracted a set of computation under a good concept , you should be able to understand it using just a name.