riot's dead, long live riot
thoughts on the evolution of riot, and its future.
Leandro Ostera
A substack of computers and using computers to get things done.
Live Last read · last published · next check
Latest posts
Exceptions are Ok
Let's look at how Results and Exceptions stack up to each other, and against ideal error handling ergonomics.
Parsing with Binary String Pattern Matching
I want to show you a glimpse of what it could look like when you parse it binary string pattern matching in OCaml like you'd do on Erlang, Elixir, or Gleam
Unix Module Considered Harmful
Recently I was working on a socket pool for a new scheduler for OCaml 5 (multicore baby!) and I ran into a strange issue.
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.
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.
Exploring domains in OCaml is cheaper and faster
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! 🚀
HashSets with zero boilerplate
If you've ever read a Rust tutorial you've probably seen how easy it is to make vectors of things with the `vec![]` macro. But why don't sets have one?
Solving for them vs Solving for us
Yesterday I had a chat with my great friend @jularase yesterday about building, and what to build, and how we build.
Structuring large ReScript projects
Here's how we structured our >300k LOC ReScript project at Walnut