Are there any projects that are trying to make application-level languages with borrow checkers?
10
3
37
Conversation
Idris 2 and GHC Haskell
2
5
These track linearity, but isn't there a bunch more if you want borrow checking? Like the fractional permission style stuff the borrow checker does goes far beyond linearity IIUC.
I can't think of anything, but it is Monday morning. Do you have any specifics?
1
Can you model the mutable / immutable borrow stuff with just linear types? Not sure
1
Show replies