Why we chose OCaml to write Stategraph

DRANK

OCaml's type system catches state corruption at compile time. Type-safe SQL, automatic serialization, and immutability by default prevent entire categories of bugs.