▲ 10 ▼ Rust-style Borrow Checker Implemented in Linear Haskell (github.com) submitted 6 months ago by ultimate_worrier@lemmy.dbzer0.com to c/haskell@programming.dev 2 comments fedilink hide all child comments
[–] jjj@lemmy.blahaj.zone 2 points 6 months ago (1 child) The title mentions "Linear Haskell" and "Rust-style borrows". permalink fedilink source hideshow 1 child comment replies: [+] ultimate_worrier@lemmy.dbzer0.com [S] 2 points 6 months ago* (last edited 6 months ago) (1 child) [deleted] permalink fedilink source parent hideshow 1 child comment replies: [–] jjj@lemmy.blahaj.zone 2 points 6 months ago Sorry, I was on my phone. Thanks for fixing it, I was a bit confused by your original title considering there's no linear types in Rust (AFAIK, but there's a library that sort of does it: https://docs.rs/linear_type/latest/linear_type/). permalink fedilink source parent load more comments (-1 replies)
[+] ultimate_worrier@lemmy.dbzer0.com [S] 2 points 6 months ago* (last edited 6 months ago) (1 child) [deleted] permalink fedilink source parent hideshow 1 child comment replies: [–] jjj@lemmy.blahaj.zone 2 points 6 months ago Sorry, I was on my phone. Thanks for fixing it, I was a bit confused by your original title considering there's no linear types in Rust (AFAIK, but there's a library that sort of does it: https://docs.rs/linear_type/latest/linear_type/). permalink fedilink source parent
[–] jjj@lemmy.blahaj.zone 2 points 6 months ago Sorry, I was on my phone. Thanks for fixing it, I was a bit confused by your original title considering there's no linear types in Rust (AFAIK, but there's a library that sort of does it: https://docs.rs/linear_type/latest/linear_type/). permalink fedilink source parent
all 3 comments