> Who would spend a month to write an article about a type checker bug? I have no horse in this race, have never heard of V, and frankly find the emotional cha

> Who would spend a month to write an article about a type checker bug? I have no horse in this race, have never heard of V, and frankly find the emotional charge in this comment section extraordinary... odd. But I am a PL person. Bugs in the type checker are pretty unambiguously a big deal. I totally understand why the examples in the blog post are alarming. The point isn't that they can be fixed by 3 lines; the point is that there were obvious soundness bugs in the type checker implementation and the language designer's attitude seems to be "NBD if the patch is small enough". Given the post and reaction, I would not be surprised if there are many more soundness bugs lurking. So, that's an issue if I want to use the language for anything serious. That said, it looks like a hobby language in its early stages of approaching maturity, so the degree of divisiveness is seriously confusing. My reaction to all the drama is closer to "yup some soundness bugs; type systems get subtle fast, what a great thing to learn from" than "I hope V dies / the V critics are terrible". I'm guessing there are weird personality/politics at play, but don't care enough to find out. Anyways. I liked the Android examples.