5 ms·
All about type theory and functional programming. Nothing about memory management.
by bruce343434 4y ago
All about type theory and functional programming. Nothing about memory management.
- anta40 4y agoProbably because the author isn't a... ummm... "system programming folk"?
- jb1991 4y ago> All about type theory and functional programming That’s quite an exaggeration. There’s a lot on here that is not related to type theory or functional programming.
- bidirectional 4y agoOdd how you've been downvoted when what you say is true of literally the first item on the list...
- nesarkvechnep 4y agoThis doesn’t make the list or the books themselves bad.
- oxff 4y agoBut you can just slam memory management into your types if you know type theory (affine / linear types)
- valenterry 4y agoThat's the important note. Memory management is in no way special or more special than other things. But it is fairly hard to enable the typesystem to handle it. Rust started some parts but it's just the beginning.
- masklinn 4y agoWhat great works have there been around memory management, aside from sub-structural types?
- moonchild 4y agoHow about immix? - https://www.cs.utexas.edu/users/speedway/DaCapo/papers/immix-pldi-2008.pdf https://www.cs.utexas.edu/users/speedway/DaCapo/papers/immix...
- summerlight 4y agoThis is about language implementation, not the language itself, so more on a system programming domain.
- jlouis 4y agoNecula's work on proof-carrying-code was more or less transformed into CCured which is nothing but memory management. It's from 2004. A lot of the interesting stuff with separation logic was just getting started at that point in time. This branch led to Facebook's Infer and bi-abduction.