1
We chose OCaml to write Stategraph
OCaml's type system catches state corruption at compile time. Type-safe SQL, automatic serialization, and immutability by default prevent entire categories of bugs.
Your Terraform state file is the bottleneck. Stategraph removes it: dynamic state sizing, no global lock, and one graph at any size. Same HCL.
Visit stategraph.dev → On Hacker News Sep 2025 – Nov 2025
Systems & Performance 1Software Engineering 1Programming Languages 1Infrastructure & DevOps 1
OCaml's type system catches state corruption at compile time. Type-safe SQL, automatic serialization, and immutability by default prevent entire categories of bugs.
Terraform state is a distributed systems problem masquerading as file storage. Graph state fixes the bottlenecks.