A3. OCaml’s type system ensures that errors are detected at compile-time, making programs more reliable and easier to maintain.