Rafael's website

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++
Handling Zombie Processes in Linux

Posted on July 13, 2018

What a zombie process in the Linux system is, how it arises and how to kill them for good. [Read More]
Tags:
- linux
Custom Comparison for Associative Container

Posted on June 25, 2018

For STL associative containers, the type of keys stored must be comparable. Although in some cases you might want to supply an alternative comparison function. [Read More]
Tags:
- stl
- c++
Introduction to CMake for C++

Posted on May 30, 2018

Getting started with CMake for building C++ applications. [Read More]
Tags:
- build-system
- cmake
- c++
Introduction to Google Guice for DI

Posted on May 15, 2018

Guice is a Java framework that aims to simplify the application of the Dependency Injection pattern to minimize coupling between modules. [Read More]
Tags:
- java
Managing Coupling with Dependency Injection

Posted on May 13, 2018

Managing dependencies between modules is a critical part of software development. The goal is to design flexible programs that are able to change without incurring into high-costs. [Read More]
Tags:
- c++
A Quick Introduction to Docker

Posted on May 10, 2018

Docker simplifies application deployments that should run in “lightweight virtual-machines” within isolated environments. [Read More]
Tags:
- linux
- docker
Default Implementation for Pure Virtual Functions in C++

Posted on May 2, 2018

C++ allows default implementation for pure virtual member-functions. [Read More]
Tags:
- c++

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

Handling Zombie Processes in Linux

Custom Comparison for Associative Container

Introduction to CMake for C++

Introduction to Google Guice for DI

Managing Coupling with Dependency Injection

A Quick Introduction to Docker

Default Implementation for Pure Virtual Functions in C++