4 ms·

oh "There's no garbage collection or reference counting. V cleans everything up during compilation. If your V program compiles, it's guaranteed that it's going

oh "There's no garbage collection or reference counting. V cleans everything up during compilation. If your V program compiles, it's guaranteed that it's going to be leak free." but "Unfortunately, this only currently works for basic situations; manual management is required for more complex cases, which are another WIP."

tgv 7y ago
That makes the title of this post more like a "worst of both worlds". Not good marketing. I read about this or a similar approach before. I've got no idea how they think they'll pull it off without requiring rust like annotations or reducing expressive power to something below TM equivalence. Or "leak free" doesn't mean what I think it does.
- andrewfromx 7y ago
  well I just git cloned it and ran make and that was it. Very impressive 26k line generated c file: https://github.com/vlang/vc/blob/master/v.c https://github.com/vlang/vc/blob/master/v.c is this the future of C? it's like too dangerous for humans to code it directly. We need langs like this to make C for us. Magic in this file: https://github.com/vlang/v/blob/master/tools/gen_vc.v https://github.com/vlang/v/blob/master/tools/gen_vc.v
- ylluminate 7y ago
  Alex is about to release the autofree functionality: https://discordapp.com/channels/592103645835821068/592842126304477184/659967233195376661 https://discordapp.com/channels/592103645835821068/592842126... Notice that after it's stable it will be on by default with a `-noautofree` option.
terminaljunkid 7y ago
This author is certainly building on his own dreams. As with many other promises and hype he gave.. There has been research on escape analysis, static memory management and all. Even not considering equivalence to halting problem, it has proven basically impossible to manage memory at compile time except very simple programs. This is a reason why rust ownership semantics are so complicated. And still anything complicated will use reference counting for many shared references. (Eg: Linux kernel). But this guy is not even good at marketing he is doing -- some promises look very shady and comparisons are not apples to apples. I see how big efforts zig and odin authors made, and the languages are impressive. V is a hyped piece from beginning and this makes the author seem more shadier.

tgv 7y ago

That makes the title of this post more like a "worst of both worlds". Not good marketing. I read about this or a similar approach before. I've got no idea how they think they'll pull it off without requiring rust like annotations or reducing expressive power to something below TM equivalence. Or "leak free" doesn't mean what I think it does.

andrewfromx 7y ago
well I just git cloned it and ran make and that was it. Very impressive 26k line generated c file: https://github.com/vlang/vc/blob/master/v.c https://github.com/vlang/vc/blob/master/v.c is this the future of C? it's like too dangerous for humans to code it directly. We need langs like this to make C for us. Magic in this file: https://github.com/vlang/v/blob/master/tools/gen_vc.v https://github.com/vlang/v/blob/master/tools/gen_vc.v
ylluminate 7y ago
Alex is about to release the autofree functionality: https://discordapp.com/channels/592103645835821068/592842126304477184/659967233195376661 https://discordapp.com/channels/592103645835821068/592842126... Notice that after it's stable it will be on by default with a `-noautofree` option.

terminaljunkid 7y ago

This author is certainly building on his own dreams. As with many other promises and hype he gave.. There has been research on escape analysis, static memory management and all. Even not considering equivalence to halting problem, it has proven basically impossible to manage memory at compile time except very simple programs. This is a reason why rust ownership semantics are so complicated. And still anything complicated will use reference counting for many shared references. (Eg: Linux kernel). But this guy is not even good at marketing he is doing -- some promises look very shady and comparisons are not apples to apples. I see how big efforts zig and odin authors made, and the languages are impressive. V is a hyped piece from beginning and this makes the author seem more shadier.