5 ms·

"Safe" here means memory and type safety.

• alpb 11y ago
  What does type safety has anything to do with runtime or user of an init program? Or is not the memory safety provided by the OS already? Does OCaml bring anything specific to the table, or could this've been written in Go as well?
  • AgentME 11y ago
    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.
  • sambe 11y ago
    What is the motivation for this question? If written in Go, do you ask why not OCaml? Or think OCaml somehow especially unsuitable?
  • mercurial 11y ago
    Better type safety is correlated with more correct programs. OCaml has a pretty solid type system which helps with that.