Email or username:

Password:

Forgot your password?
blake shaw 🇵🇸's posts Post Back to profile
Top-level
l'empathie mécanique

@rml how do you know it isn’t the other way around?

24 Aug 2023 at 18:39 | Wall-to-wall | Open on qoto.org
4 comments
blake shaw 🇵🇸

@dpwiz well I know that scheme is highly decomposable from experience. haskell, my experience is quite limited, but it doesn't seem like repurposing haskell code in unanticipated ways is particularly simple from my limited experience.

24 Aug 2023 at 18:44 | Open on functional.cafe
l'empathie mécanique

@rml hm… Perhaps I don’t get what do you mean here. What’s the difference between a composable and decomposable code?

24 Aug 2023 at 18:54 | Open on qoto.org
blake shaw 🇵🇸

@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

@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...

24 Aug 2023 at 19:21 | Open on functional.cafe
l'empathie mécanique

@rml This looks like nominal vs structural “styles”. Haskell clearly favors the former, but has a lot to work with the latter - Dynamic, Generics, all kinds of “Value” ASTs and coercing/parsing/building to bridge it.

I’m pessimistic, honestly, on the merits of generic structures throughout and usually want to parse them away and the boundary. Thus, it’s Haskell for me (:

24 Aug 2023 at 19:28 | Open on qoto.org
Go Up