@dpwiz I would say that composable code implies the ability to design and implement precise program behavior within a given type theory that determines how component programs can and cannot be combined and abstracted to build larger code compositions, and so compossibility here is more or less co-extensive with presentation or knowing and the capacity to present that knowledge in truly transmissible form, while decomposable code eschews presentation for representation, knowing for sharing, theory for praxis, by embracing the absolute minimum criteria of correctness while maintaining a high degree of referential transparency, in order to facilitate a style of programming that emphasizes ease of change in even unanticipated or radical directions through ad-hoc constructions that are easy to tame and refashion due to the homogeneity demanded by the minimum criteria.

was kind of a rant, certainly vague in areas, but I'm arguing for ambiguity and hand-wavy hat tricks over here, after all