← Back to context

Comment by whytevuhuni

5 hours ago

> I think an improved C can be memory safe even without GC

That's a very interesting belief. Do you see a way to achieve temporal memory safety without a GC, and I assume also without lifetimes?

3 comments

whytevuhuni

Reply
uecker  4 hours ago

A simple pointer ownership model can achieve temporal memory safety, but I think to be convenient to use we may need lifetimes. I see no reason this could not be added to C.

  • whytevuhuni  3 hours ago

    A C with lifetimes would be nice, I agree.

    Would be awesome if someone did a study to see if it's actually achievable... Cyclone's approach was certainly not enough, and I think some sort of generics or a Hindley-Milner type system might be required to get it to work, otherwise lifetimes would become completely unusable.