Viewing profile — mawfig

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, …

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 aft…

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

"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 o…

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.

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,…

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…

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…

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 insin…

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 lo…

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…

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…