# Why we chose OCaml to write Stategraph

**URL:** <https://forum.devtalk.com/t/why-we-chose-ocaml-to-write-stategraph/221829>\
**Category:** Backend In The News\
**Tags:** via-news-bot, ocaml, in-the-news\
**Created:** [8 November 2025 05:54 UTC](https://forum.devtalk.com/t/why-we-chose-ocaml-to-write-stategraph/221829 "2025-11-08T05:54:43Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![CommunityNews](https://forum.devtalk.com/user_avatar/forum.devtalk.com/communitynews/32/1113_2.png) [@CommunityNews](https://forum.devtalk.com/u/CommunityNews)\
**Post date:** [8 November 2025 05:54 UTC](https://forum.devtalk.com/t/why-we-chose-ocaml-to-write-stategraph/221829/1 "2025-11-08T05:54:43Z")

</div>

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

Read in full here:

> **[Why we chose OCaml to write Stategraph](https://stategraph.dev/blog/why-we-chose-ocaml)**
>
> OCaml's type system catches state corruption at compile time. Type-safe SQL, automatic serialization, and immutability by default prevent entire categories of bugs.