Rafael's website

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

Sneak peeking at Dependent Types and an encoding of length-indexed vectors in Rust to constraint 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
Type-driven Designing Haskell's filter

Posted on October 20, 2020

A type-system imposes discipline on programs. And we can make the best out of it by employing correct, precise, and expressive types; ultimately even letting the type-system assisting us in our design. Equipped with well-crafted user-defined types, we can then make some illegal states unrepresentable. Additionally, types are great to... [Read More]
Tags:
- type-system
- fp
- haskell
Cross-Compiling C++ Projects with dockcross

Posted on October 2, 2020

Cross-compilation has a huge impact on the development of cross-platform C++ embedded software. Therefore we have plenty of tools to help us, and dockcross is one of them, which we will briefly discuss. [Read More]
Tags:
- linux
- docker
- build-system
- embedded
- c++
Haunting Bugs with Phantom Types

Posted on May 18, 2020

Phantom types are useful to encode information about how, when, and where values are supposed to be used, which can catch a class of bugs early. [Read More]
Tags:
- type-system
- adt
- fp
- c++

Older Posts

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

Type-driven Designing Haskell's filter

Cross-Compiling C++ Projects with dockcross

Haunting Bugs with Phantom Types