They cite haskell which, if anything, has even stronger static typing and more powerful type inference (because the rust devs decided to favour explicit clarity

They cite haskell which, if anything, has even stronger static typing and more powerful type inference (because the rust devs decided to favour explicit clarity and removed global type inference). And as GHC actually has a compilation mode where it only warns about compilation errors: https://gitlab.haskell.org/ghc/ghc/-/wikis/defer-errors-to-runtime https://gitlab.haskell.org/ghc/ghc/-/wikis/defer-errors-to-r... So they're 0/2, on the subject they're espousing upon, through a language they mentioned.