Aren't those abstractions described by types though? e.g. take a "paradigm" like Map-Reduce. Very buzzwordy for disturbed processing 15 years ago. Basic gist is "notice your program is a monoid homomorphism and you see it is trivially parallelizable". Or has been observed before, half of the Design Patterns in Java are just trivial uses of function types.