← Back to Blog

Blog

Thoughts on Terraform state management, infrastructure parallelism, and building better developer tools.

RSS Feed

Why we chose OCaml to write Stategraph

OCaml Type Systems Functional Programming Infrastructure Stategraph

When you're managing other people's infrastructure, state corruption has to be impossible, not unlikely. OCaml's type system catches entire categories of bugs at compile time that tests miss.

Read more

Engineering Log: Testing round-trip validation for lossless ingestion

Engineering Log Data Integrity Stategraph OCaml Testing

Stategraph ingests Terraform state files through four transformations. We built a round-trip validation test to prove that every transformation is lossless and no data gets lost along the way.

Read more