jjj comments on Rust-style Borrow Checker Implemented in Linear Haskell

[–] 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

[+] 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

[–] 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/).