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
Both have finished and merged in their implementations of linear types now I think.
1
Oh, and Carp
github.com/carp-lang/Carp
1
Granule is great! Graded modal types are so neat.