Hacker News Reader

Comment by bruce343434 | Hacker News Reader

All about type theory and functional programming. Nothing about memory management.

Necula'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.

> 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.

Odd how you've been downvoted when what you say is true of literally the first item on the list...

But you can just slam memory management into your types if you know type theory (affine / linear types)

That'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.

What great works have there been around memory management, aside from sub-structural types?

How about immix? - https://www.cs.utexas.edu/users/speedway/DaCapo/papers/immix...

This is about language implementation, not the language itself, so more on a system programming domain.

Probably because the author isn't a... ummm... "system programming folk"?

This doesn’t make the list or the books themselves bad.

Reply on news.ycombinator.com