alt Hacker NewsIf you're going all the way down that route, you might use something like Ada or OCaml or Haskell. They can catch classes of errors at compile time that Rust does not cover.
If you're going all the way down that route, you might use something like Ada or OCaml or Haskell. They can catch classes of errors at compile time that Rust does not cover.
Definitely a reasonable thing to consider and this is the direction I would like to see programming languages evolve towards in the AI era.
Move errors from runtime to compile time as much as possible.