mawfig

11 ms·

1.
by mawfig 4y ago
What high-level language with ADTs and pattern matching are you thinking of? If OCaml, Rust doesn't have weirdly sized number types and has a decent library ecosystem. If Haskell, you don't need to understand monads to write hello
2.
by mawfig 4y ago
Tozen, since no one has spelled it out for you: I am not obligated to sit at my keyboard refreshing the page constantly, waiting for your latest comment. I was here for 6 hours after posting and responded to many comments including multiple
3.
by mawfig 4y ago
> Mostly all this post has is some type checker bugs that have already been fixed (of course the article will never be updated now that they're fixed) Alex, all of these are still open right not and are not fixed: - "No mut m :
4.
by mawfig 4y ago
"A pure function is one without any side-effects." https://ocaml.org/docs/functional-programming "V functions are pure by default, meaning that their return values are a function of their arguments only,
5.
by mawfig 4y ago
Sorry, not yet. New to blogging and this took quite a long time to complete to a level I was satisfied with so it will probably be a while before I complete another one.
6.
by mawfig 4y ago
To be clear, there's nothing wrong with impure programming languages. I use them every single day. My complaint is that V claims to be pure and is actually impure. To my knowledge, OCaml makes no claim to functional purity.
7.
by mawfig 4y ago
Indeed! I even mentioned this in my "Rules of engagement" section: > Features indicated to be incomplete/work in progress/unimplemented will be mentioned as such. Indicating on the vlang.io homepage how much of the la
8.
by mawfig 4y ago
Nim and Zig are both pretty interesting to me as up-and-coming languages so I do have them on a short list of things to try. This post took about a month of effort in my spare time to write so I don't think I will get to those anytime
9.
by mawfig 4y ago
Every evaluation in my blog is fully reproducible from the version of V I linked to and I've included all the source code used as well. My post stands on it's own. Instead of insinuating I'm some kind of competitor or have a
10.
by mawfig 4y ago
Thanks for linking Xe's blog here! It's a few years old and I've seen a lot of comments on HN that suggest V has improved significantly since 2019 so I thought it might be worth looking into for myself and writing down a revi
11.
by mawfig 4y ago
I'm sorry if you feel this is a dunk on V. Having seen quite a bit of discussion both on hacker news and other places saying that V has improved significantly since Xe's articles a few years ago, I thought it would be worth while
12.
V Language Review(mawfig.github.io)
297 points by mawfig 4y ago|298 comments
13.
by mawfig 4y ago
I suspect if you're not particularly looking for data races, you probably won't recognize their effects when these bugs occur. There is a very large set of C and C++ apps which don't run ASan or UBSan and have a long tail of