← 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 managing infrastructure, state corruption must be impossible. OCaml's type system catches entire categories of bugs at compile time.

Read more

Engineering Log: Testing round-trip validation for lossless ingestion

Engineering Log Data Integrity Stategraph OCaml Testing

Stategraph ingests Terraform state through four transformations. We built a round-trip validation test to prove every transformation is lossless.

Read more