Archive - Leandro Ostera

Exceptions are Ok

Let's look at how Results and Exceptions stack up to each other, and against ideal error handling ergonomics.

Nov 9 •

December 2023

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…

Dec 31, 2023 •

November 2023

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.

Nov 29, 2023 •

August 2023

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…

Aug 29, 2023 •

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 •

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…

Aug 28, 2023 •

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?

Aug 24, 2023 •

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.

Aug 21, 2023 •

Structuring large ReScript projects

Here's how we structured our >300k LOC ReScript project at Walnut

Aug 16, 2023 •

Making the ReScript type system work for you (Part II)

In this part, we will learn how to type simple functions and compound expressions.

Aug 6, 2023 •

July 2023

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.

Jul 30, 2023 •

January 2023

Founding a Startup as a Neurospicy Digital Nomad

Yeah, this is going to be one of those pieces.

Jan 27, 2023 •

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts