Why we chose OCaml to write Stategraph
stategraph.dev
OCaml's type system catches state corruption at compile time. Type-safe SQL, automatic serialization, and immutability by default prevent entire categories of bugs.