Leandro Ostera

Leandro Ostera

Home
Podcast
Archive
About
riot's dead, long live riot
thoughts on the evolution of riot, and its future.
 • Leo Ostera
Exceptions are Ok
Let's look at how Results and Exceptions stack up to each other, and against ideal error handling ergonomics.
 • Leandro Ostera
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…
 • Leandro Ostera
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.
 • Leandro Ostera
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…
 • Leandro Ostera
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.
 • Leandro Ostera
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…
 • Leandro Ostera
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?
 • Leandro Ostera
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.
 • Leandro Ostera
Structuring large ReScript projects
Here's how we structured our >300k LOC ReScript project at Walnut
 • Leandro Ostera
Making the ReScript type system work for you (Part II)
In this part, we will learn how to type simple functions and compound expressions.
 • Leandro Ostera
Making the ReScript type system work for you (Part I)
The first step to getting the type checker to work for you is to understand how it works, what work it can and can't do.
 • Leandro Ostera
Leandro Ostera
Leandro Ostera
A substack of computers and using computers to get things done.

Leandro Ostera

AboutArchiveSitemap
© 2026 Leandro Ostera · Privacy ∙ Terms ∙ Collection notice
Aquileo | Start your SubstackGet the app
Substack is the home for great culture