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.

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.

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

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