I guess there is a reason why Linux kernel accepts Rust not Haskell.

Can you elaborate? What is it about Haskell that makes it better?

I would think Lean and other formal languages are the real gold standard.

But none of them really have enough training data for LLMs to be any good at them.