Comment Comment by reinman Yes, there is a long-standing debate in categories about this "reduction" problem but that is mostly theoreticalIn practice, you only need to break down enough to interface w existing APIsThe morphisms are controlled by the crafting system, which is really a higher order type systemNo you don't need to achieve god-like powers any more than GitHub is the source of all code on the planet (it doesn't have to be all or nothing).Even the crafting rules themselves contain FP chains. In my real world work, I use a mix of crafting, FP chains and old school functions. parent reinman 4 years ago
In practice, you only need to break down enough to interface w existing APIs
The morphisms are controlled by the crafting system, which is really a higher order type system
No you don't need to achieve god-like powers any more than GitHub is the source of all code on the planet (it doesn't have to be all or nothing).
Even the crafting rules themselves contain FP chains. In my real world work, I use a mix of crafting, FP chains and old school functions.