Rafael's website

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++
Property-based Testing in Golang

Posted on March 12, 2020

Testing is a critical part of software development. Let’s see how property-based testing can help us to test our Go programs. [Read More]
Tags:
- tests
- golang
Algebraic Data Types and Data Modelling

Posted on December 19, 2019

Programming is about composition. We usually tackle a problem by breaking it up into smaller and more manageable tasks, which are then composed together into the final solution. Types can play an important role in assisting us. Algebraic Data Types bring us yet another interesting way to express concepts in... [Read More]
Tags:
- type-system
- adt
- fp
- c++
- haskell
Expressiveness, Nullable Types, and Composition

Posted on November 14, 2019

absent is a tiny open-source C++ library meant to simplify the composition of nullable types in a generic, type-safe, and declarative style. [Read More]
Tags:
- adt
- absent
- fp
- c++
Object Instantiation, Immutability, and the Expression-Oriented Style

Posted on June 26, 2019

Declarative Programming encourages us writing programs by composing expressions rather than statements as we usually do in Imperative Programming. Let’s briefly see how we can from this style of programming. [Read More]
Tags:
- fp
- c++
- haskell
The Beauty of Total Functions

Posted on May 26, 2019

The joys of APIs that don’t lie to us. [Read More]
Tags:
- math
- adt
- fp
- c++
- haskell
A Brief Introduction to the Algebra of Types

Posted on March 22, 2019

It’s been common to find talks and articles describing what an Algebraic Data Types (ADT) is. Particularly, we’ve been testifying sum types finally making their way into mainstream programming languages. We shall briefly discuss ADTs and understand how we can profit from this cool trend. [Read More]
Tags:
- math
- adt
- fp
- c++
- haskell
Refactoring a CMake Build System

Posted on January 10, 2019

A piece of advice that may help when porting a build system based on CMake to use a modular approach following the so-called Modern CMake set of practices. [Read More]
Tags:
- build-system
- cmake
- c++
Be Proud of your Shell Scripts

Posted on December 13, 2018

Automation is not only a fancy trend but rather a reality that plays a vital role in the Software Engineering world. Besides the multitude of “modern” tools, the Shell, our good and old friend from ’70s, still plays and will keep playing a major role. Therefore, it deserves more care.... [Read More]
Tags:
- linux
- bash
Function Composition of STL Algorithms with Ranges

Posted on December 3, 2018

STL is a fantastic tool that C++ provides us and using makes our code more expressiveness, cleaner, and correct. However, STL algorithms may sometimes involve a bit of boilerplate, especially when it comes to function composition, where we want to chain a sequence of operations. Fortunately, the Ranges library is... [Read More]
Tags:
- stl
- fp
- c++
From null to Option in Scala

Posted on October 29, 2018

NULL, nullptr, null, etc. have been used to represent the absence of values for many years, but there are better alternatives to model this scenario. In Scala, the answer is usually Option. [Read More]
Tags:
- adt
- fp
- scala
Git fix-up Commits: How to Keep your Repository Concise

Posted on September 24, 2018

Have you ever wasted time looking at your repositories because of commits that didn’t add any value to the project’s story? Some of the most common start with “fix-up…”. By avoiding these commits, the repository tends to become easier to understand, as we can then focus on the bigger story... [Read More]
Tags:
- git
Introduction to OOP in Golang

Posted on September 7, 2018

Getting started with Object-Oriented Programming (OOP) in Golang (Go). [Read More]
Tags:
- oop
- golang
How to Use Modern CMake for an App + Lib Project

Posted on August 20, 2018

An example of how to apply some of the so-called “Modern CMake” to build a simple project composed by an executable that uses a library. [Read More]
Tags:
- build-system
- cmake
- c++

Cross-Compiling C++ Projects with dockcross

Haunting Bugs with Phantom Types

Property-based Testing in Golang

Algebraic Data Types and Data Modelling

Expressiveness, Nullable Types, and Composition

Object Instantiation, Immutability, and the Expression-Oriented Style

The Beauty of Total Functions

A Brief Introduction to the Algebra of Types

Refactoring a CMake Build System

Be Proud of your Shell Scripts

Function Composition of STL Algorithms with Ranges

From null to Option in Scala

Git fix-up Commits: How to Keep your Repository Concise

Introduction to OOP in Golang

How to Use Modern CMake for an App + Lib Project