https://durwasa-chakraborty.github.io/tags/gadts/Recent content in Gadts on Anachronistic MonkHugo -- gohugo.ioen© 2026 Durwasa ChakrabortyFri, 26 Jun 2026 10:00:00 +0530https://durwasa-chakraborty.github.io/posts/gadts-in-ocaml/Fri, 26 Jun 2026 10:00:00 +0530https://durwasa-chakraborty.github.io/posts/gadts-in-ocaml/<figure><img class="my-0 rounded-md" loading="lazy" decoding="async" fetchpriority="low" alt="Tree : An algebraic data type" src="https://durwasa-chakraborty.github.io/images/gadt.jpg" ></figure> <p>As someone with a standing interest in languages, I find myself perpetually on the lookout for the features that belong to one language alone. Every language has its flagship concepts - words that resist translation, and that frequently cannot be mapped one-to-one onto any other.</p>