Tired of writing state machines full of invalid transitions? Type-state may be what you're looking for. In this issue of Practical OCaml we show you how to use it to build type-safe state machines.

Ever wanted to use a GADT but did not know if you really needed them? You probably don't. And here's why.

You've heard of Domain-Driven Design, now buckle up for Type-Driven Domain..wait. Typed Domains Driving...nevermind. We're gonna use Only Types to Understand our Domain Problems Very Fast! 🚀

And here we are! After writing my share of ReScript at Practical ReScript, I figured I'd start a blog for OCaml that would help consolidate my experiences with it into some Practical advice, that you can use to start new projects, to contribute to existing ones, hell even get a

In this tutorial, we will explore the process I went through to build my first OCaml library.

Did you know that the programming language you use can have a huge impact on the cybersecurity of your applications? In a 2022 meeting of…

This is the follow-up post continuing the discussion of the development of Kcas. Part 1 discussed the development done on the library to…