Rafael's website

Go Shenanigans: RAII

Posted on November 6, 2026

I’ve been thinking about resource management lately, so let’s play with inversion of control for resource management in Go. As with most of the stuff I write, this is an exploratory and perhaps quirky essay rather than recommendations or good advice for idiomatic Go. [Read More]
Tags:
- go
- shenanigans
Go Shenanigans: Yet Another Post on Faking Sum Types

Posted on April 14, 2026

Let’s stretch Go a bit and fake sum types for the sake of, well, fun. [Read More]
Tags:
- go
- shenanigans
A Typed Evaluator in Rust

Posted on October 21, 2025

An encoding of a simple programming language well-typed by construction, first in Haskell and then in Rust. [Read More]
Tags:
- haskell rust
C++ concepts for exact matching in overload resolution

Posted on September 4, 2025

Resolving overload sets in C++ that differ in accepting bool vs std::string as parameters can cause surprises when we call them with string literals as arguments. We’ll see how we can work around this with concepts. [Read More]
Tags:
- c++
Harder to misuse, counting down at compile-time with C++ concepts (with a bonus in Rust)

Posted on August 13, 2025

How to statically “check” that callers perform an operation N times. [Read More]
Tags:
- c++ rust
A length-indexed Vector in Rust - Part 2

Posted on February 19, 2025

Previously, we designed a vector in Rust whose length is known at compile-time, but then how can we construct an instance of it from a Vec<T> whose length is only available at run-time? [Read More]
Tags:
- rust
A length-indexed Vector in Rust

Posted on February 11, 2025

A Sneak peeking at Dependent Types and an encoding of length-indexed vectors in Rust to constrain consumers on operations they can perform. [Read More]
Tags:
- haskell rust
Integrating a trigonometric expression for fun

Posted on January 23, 2025

I stumbled upon an exercise to integrate a function involving trigonometric identities. So, I reckoned it’d be fun tackling it. [Read More]
Tags:
- math
Fun with Go's range over function types

Posted on November 2, 2024

A quick look at range-aware custom iterators. [Read More]
Tags:
- go
Blogging with org-mode

Posted on October 26, 2024

I’m gradually migrating posts from Markdown to Org. [Read More]
Tags:
- emacs meta org-mode
Oops, I forgot to --publish! How can I connect to the container then?

Posted on May 4, 2024

A fun way to connect over the network to an unpublished port of a process running inside a Docker container. [Read More]
Tags:
- docker
- networking
Haskell, the little things (1 of N) - where clauses

Posted on March 29, 2023

This is the (1 of N) installment of a series of short posts where I list some “smaller” features of Haskell that I’ve found neat and valuable. [Read More]
Tags:
- haskell
Pattern-matching without a match

Posted on October 10, 2022

Emulating pattern-matching in a language without native support for it. [Read More]
Tags:
- java
- ocaml
- plt
- design-pattern
- visitor
Announcement: haz-rs

Posted on November 2, 2021

A thin abstraction over polymorphic environments for Rust. [Read More]
Tags:
- rust
Rebinding Template Template Parameters

Posted on October 28, 2020

Rebinding a template template parameter in C++ might be useful at times, or at least fun to do. [Read More]
Tags:
- c++
- meta-programming

Older Posts

Go Shenanigans: RAII

Go Shenanigans: Yet Another Post on Faking Sum Types

A Typed Evaluator in Rust

C++ concepts for exact matching in overload resolution

Harder to misuse, counting down at compile-time with C++ concepts (with a bonus in Rust)

A length-indexed Vector in Rust - Part 2

A length-indexed Vector in Rust

Integrating a trigonometric expression for fun

Fun with Go's range over function types

Blogging with org-mode

Oops, I forgot to --publish! How can I connect to the container then?

Haskell, the little things (1 of N) - where clauses

Pattern-matching without a match

Announcement: haz-rs

Rebinding Template Template Parameters