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

There isn’t enough code and resources to <s>steal</s> learn from. And I mean not only the language but the paradigm.

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.

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