2 ms·
> But isn't it better to express in the type system that you will use something "nondestructively"? That is how regular functions & data work now. It's comple
by mrkeen 6y ago
> But isn't it better to express in the type system that you will use something "nondestructively"?
That is how regular functions & data work now. It's completely ergonomic, no linearity required.
- creata 6y agoSorry: you seem to be misunderstanding me, but I do not know how to express myself better. Edit: for reference, I'm looking for an analog of the let! construct from "Linear types can change the world!" and the borrowing usage from the Linear Haskell paper.