Operating systems usually only provide memory safety between processes. The operating system doesn't protect a C program from overflowing its own buffers or mak

Operating systems usually only provide memory safety between processes. The operating system doesn't protect a C program from overflowing its own buffers or making incorrect writes to the heap for example. OCaml's memory safety means many of those types of bugs aren't possible.