A Guide To Recursion With Examples

Recursion is more than repeating a function again and again: it's a process of expansion and reduction. As often, practicing is the best way to grasp this difficult concept. That's why this article propose a short explanation as well as examples and exercises.

Type Systems Explained With Examples

Type systems are core components of programming languages. However, it's easy to get confused by the rich vocabulary we use to describe them, especially since they seem to have different sense depending of the programming language you speak about. What are the big ideas of a type system? Is there a better type system to rule them all?

A Detailed Guide to Abstraction in Software with Examples

We speak about abstraction all the time, as software developers, and yet its meaning can be pretty confusing. Could you explain clearly what means abstraction, if you needed to? This article will explain in depth what abstraction stands for, if we should abstract everything and, if not, what should be abstracted.

Global Variables and States: Why So Much Hate?

Global variables are common pitfalls many developers fall into. Indeed, difficult to scale and maintain an application crippled with globals. Why is that? Isn't it convenient to be able to access variables and their values everywhere? The global state problem is only part of a bigger one, namely leaking states and the lack of encapsulation.