Practical OCaml
Sign in Subscribe

type-state

A collection of 1 post
How to build type-safe State Machines using type-state
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.
29 Aug 2023 6 min read
Page 1 of 1
Practical OCaml © 2025
  • Practical ReScript
  • Practical Rust
  • Abstract Machines
  • @leostera
Powered by Ghost