OCaml itself is known for exceptionally quick compilation though. Despite Hindley–Milner with type inference. GHC for Haskell and rustc for Rust are slower bec

OCaml itself is known for exceptionally quick compilation though. Despite Hindley–Milner with type inference. GHC for Haskell and rustc for Rust are slower because of the optimization passes that they do. GHC needs to be more aggressive about optimization in order to make lazy code perform well. And rustc in order to deliver on Rust’s promise of zero-cost abstractions.