3 ms·
Henry Baker's papers about linear types: http://home.pipeline.com/~hbaker1/LinearLisp.html http://home.pipeline.com/~hbaker1/LinearLisp.html http://home.pipel
by sedachv 8y ago
Henry Baker's papers about linear types:
http://home.pipeline.com/~hbaker1/LinearLisp.html http://home.pipeline.com/~hbaker1/LinearLisp.html
http://home.pipeline.com/~hbaker1/LFrpoly.html http://home.pipeline.com/~hbaker1/LFrpoly.html
http://home.pipeline.com/~hbaker1/LBoyer.html http://home.pipeline.com/~hbaker1/LBoyer.html
http://home.pipeline.com/~hbaker1/LQsort.html http://home.pipeline.com/~hbaker1/LQsort.html
http://home.pipeline.com/~hbaker1/ForthStack.html http://home.pipeline.com/~hbaker1/ForthStack.html
http://home.pipeline.com/~hbaker1/Use1Var.html http://home.pipeline.com/~hbaker1/Use1Var.html
- Ar-Curunir 8y agoNo, not at all. I didn't have the foggiest idea what a linear/affine type was when I started learning Rust, and it didn't hinder me at all. (Rust doesn't even have linear types, btw)
- lewisinc 8y agoRust doesn't have linear types? You'll have to elaborate on that because Jim Blandy at least would say you are wrong.
- garmaine 8y agoRust has affine types, not linear types.
- Munksgaard 8y agoTo clarify, with affine types you can guarantee that a value is used at most once, while linear types enforce that a value is used exactly once. Rust has the must-use directive that can be used to approximate linear types but it has severe limitations.