leo's blog
Searching...
No results found
HomeAboutPosts

All Posts

20 articles

July 2, 202610 min read

riot's dead, long live riot

thoughts on the evolution of riot, and its future.

November 9, 202411 min read

Exceptions are Ok

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

December 31, 20235 min read

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

November 29, 20237 min read

Unix Module Considered Harmful

August 29, 20236 min read

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.

August 28, 20237 min read

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.

August 28, 202311 min read

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! 🚀

August 24, 20236 min read

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?

August 21, 20235 min read

Solving for them vs Solving for us

August 16, 20238 min read

Structuring large ReScript projects

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

August 6, 20236 min read

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

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

July 30, 20236 min read

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.

January 27, 202311 min read

Founding a Startup as a Neurospicy Digital Nomad

February 23, 202216 min read

ReScript vs TypeScript: Building a Concurrent Queue library

We'll write a mission-critical piece of code in both TypeScript and ReScript and compare the process and results, and find out what TypeScript still holds over ReScript!

February 9, 202214 min read

ReScript on Deno: Command Line Tools and the Flags module

We will learn how to bind to the Flags module in Deno's standard library to make it easy and type-safe to pass in arguments to our command-line tools.

January 25, 20227 min read

Exploring ReScript on Deno

Since the rebrand, ReScript no longer has a blessed way for building and distributing native applications. In this post, I explore how to use ReScript with Deno, a modern runtime for JS.

February 21, 20216 min read

Semantic Data ain't the Golden Path (yet)

February 14, 202111 min read

The Best OCaml is the Worst OCaml

February 8, 20215 min read

Code Evolution: Organic & Artificial

February 6, 20217 min read

An Imaginary Compiler

Next page
leo's blog

a blog about computer and making computers do things

Navigate

  • Home
  • About
  • Posts

Connect

  • RSS Feed

About

A blog about software, design, and the occasional stray thought.

Powered by EmDash