Practical OCaml
Sign in Subscribe
ocaml Featured

How to build type-safe State Machines using type-state

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.
Aug 29, 2023 6 min read
domain modeling Featured

A quick guide to GADTs and why you ain't gonna need them

Ever wanted to use a GADT but did not know if you really needed them? You probably don't. And here's why.
Aug 28, 2023 7 min read
ocaml

How I explore domain problems cheaply and fast with OCaml: modeling a web router

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! 🚀
Aug 24, 2023 9 min read
ocaml

{ hello = `world; }

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
Aug 23, 2023 1 min read
Page 1 of 1
Practical OCaml © 2023
  • Practical ReScript
  • Practical Rust
  • Abstract Machines
  • @leostera
Powered by Ghost