2 ms·
Actually no, Linear Haskell works in a fully backwards compatible way with existing libraries. I suggest checking it out.
by garmaine 8y ago
Actually no, Linear Haskell works in a fully backwards compatible way with existing libraries. I suggest checking it out.
- twic 8y agoWhat would you suggest i read? I have got the 'Retrofitting Linear Types', and a quick scan suggests it doesn't give concrete examples of that backwards compatibility (although it probably follows from the proofs, which i have not digested yet!). Is there something more practical?
- garmaine 8y agoThere's a bit more said about it here: https://arxiv.org/pdf/1710.09756.pdf https://arxiv.org/pdf/1710.09756.pdf