3 ms·
To use linear types for everything will require new libraries, no?
by cryptonector 6y ago
To use linear types for everything will require new libraries, no?
- whateveracct 6y agoDepends in your definition of "everything" If you want to manually manage all memory, then yes you'll have to not use `base` and any pure functional data structure. There's been a lot of "this feature is going to ruin the ecosystem" FUD but it's not much more that that imo
- xvilka 6y agoThere is `linear-base`[1] for this. [1] https://github.com/tweag/linear-base https://github.com/tweag/linear-base
- cryptonector 6y agoI wasn't suggesting this would "ruin the ecosystem". Rather, I was suggesting we might end up with two ecosystems.