[Klonoar]

> You don't have to prove your opinions.

You're jumping a few steps ahead, and that's not what we're asking for.

> you can't even properly use its functions to build capital-A abstractions because it's compiler is too dumb to optimize them properly

This line in particular is what (multiple) people are indicating makes no sense. You don't have to exhaustively defend your opinion, but you could write a more insightful opinion. There's a difference at play here.

[whateveracct]

Capital-A abstraction means lambda calculus. Compiler too dumb means you can't just program with functions & write said Abstractions (which map cleanly to proofs via HC) in Rust because it does not handle them well.

There we go :)