I ve just vibed for 2 weeks a pretty complex Python+Next.js app. I've forced Codex into TDD, so everything(!) has to be tested. So far, it is really really stable and type errors haven't been a thing yet.

Not wanting to disagree, I am sure with Rust, it would be even more stable.

Calling a programming language without dependent types king of type safety is comical.

Does one get paid well to post these advertisements for Rust?

I’m not sure they’re saying rust is king of types, they’re saying it’s king of llm targets.

Which it obviously can't be because it has an anaemic standard library and depends on creates for basic things like error handling and async.

Not to mention it's one of the slowest compilation of recent languages if not the slowest (maybe Kotlin).

But there is no language that is best in all of these dimensions (including ones described above).

Everything is a trade-off.

What will you use for dependent types, Idris 2? Lean? None are as popular as Rust especially counting the number of production level packages available.

Scala has dependant types (though inferior than Idris ones) and has the whole jvm ecosystem.

This is quite sad to see someone react to a comment they disagree with by assuming that different opinion is paid for. I'd love it if you dug into my comment history and found even a shred of evidence that I'm being paid to talk positively about my programming language of choice.

I hope there aren't many of your type on here.

All comments are paid for in some way, even if only in "warm fuzzies". If that is sad, why are you choosing to be sad? But outlandish comments usually require greater payment to justify someone putting in the effort. If you're not being paid well, what's the motivation to post things you know don't make any sense to try and sell a brand?

> If you're not being paid well, what's the motivation to post things you know don't make any sense to try and sell a brand?

Because it works. Because it does in fact make sense despite your frustration with the concept.

Right. So why did you deny it earlier?

I'm answering the part of your question about why I post about something that I find works.

Are you this dense in real life or is this an act?

Is a computer dense in real life? Does that not go without saying?

Are you under the impression that HN is some kind of intelligent animal?

Isn’t dependent types replicating the object oriented inheritance problem in the type system?

No, unless you mean the problem of over-engineering? In which case, yes, that is a realistic concern. In the real world, tests are quite often more than good enough. And since they are good enough they end up covering all the same cases a half-assed type system is able to assert anyway by virtue of the remaining logic needing to be tested, so the type system doesn't become all that important in the first place.

A half-assed type system is helpful for people writing code by hand. Then you get things like the squiggly lines in your editor and automated refactoring tools, which are quite beneficial for productivity. However, when an LLM is writing code none of that matters. It doesn't care one bit if the failure reports comes from the compiler or the test suite. It is all the same to it.