Comment by hyperbrainer

1 day ago

V looks exactly like one of the languages I was talking about. Some controversy about the project, it seems like, but very cool nonetheless. Even if it doesn't actually work like described, the description seems quite interesting.

> But I've had a few issues with the safety aspects of the language. Breaking through the checker isn't that difficult.

What do you mean? Can you "break through the checker" outside of unsafe blocks?

2 comments

hyperbrainer

Reply
shakna  1 day ago

Its... Buggy. For example, fmt can currently break mutable handles. [0] Or you can modify immutable structures [1].

But there was a time where autofree was just a compiler flag and wasn't actually implemented, even though the author claimed that it was.

[0] https://github.com/vlang/v/issues/24271

[1] https://github.com/vlang/v/issues/23509

  • baranul  6 hours ago

    It's a language in beta and larger project (so more users). Take Zig for instance (also in beta), it has over 3,000 issues[0], and that's 3X more than Vlang. People run into problems using Zig all of the time. Any language can be claimed to be buggy or minor issues taken out of context.

    [0] https://github.com/ziglang/zig/issues