Re:A Pure Types-Driven real-world apps development approach
by pyrale on Sunday September 12, 2021 @05:13AM
(#28499667)
> If you make a change in the storage layer, you could inadvertently end up changing your user-facing API and breaking something for them.
Here is the thing though: if you have a proper type system, this breakage will happen during compilation. That's a good opportunity to understand what's up there without impact.
So it actually becomes a benefit to be able to move things at one end and be able to see the effects at the other end, not just a protection or a requirement.
Here is the thing though: if you have a proper type system, this breakage will happen during compilation. That's a good opportunity to understand what's up there without impact.
So it actually becomes a benefit to be able to move things at one end and be able to see the effects at the other end, not just a protection or a requirement.