In a nutshell, this is what I'm going with these days: Compositionality failure. Software is built without thinking about whether will compose. How it will com

In a nutshell, this is what I'm going with these days: Compositionality failure. Software is built without thinking about whether will compose. How it will compose. The elements that make things compose can be defined as the strange word compositionality. The "laws" that make things composable if they are followed. The properties that things can have to make them composable. An API is more composable than a stateful mishmash of library functions. Now let's imagine that underneath the API there is a core data structure that has its properties and relationships clearly and usefully defined. Can we automatically generate the API code for it? We should be able to, at least to a significant degree. Then that's more composable. More compositional.