Programming should be enjoyable

I love recursion.

Continuation-passing style (CPS) is an occasionally very useful technique which is fairly niche for developers outside of functional programming languages.

It seems to be common knowledge that any recursive function can be transformed into an iterative function.

I’ve had three different things on my mind recently: I read the excellent blog post “Hyper-Typing”.

We say that code is “extensible” when it can be augmented with additional behavior without requiring modifications to existing code.

JavaScript and TypeScript developers often look down on the original Gang of Four design patterns as irrelevant.

Previously I wrote about the Church encoding of non-recursive algebraic data types.

When first learning about the lambda calculus, students are frequently introduced to Church numerals and Church-encoded booleans.

In my last post I said that there were three fundamental approaches to representing data: abstract data types, objects, and algebraic data types.

There are three main methods of representing data which developers are likely to encounter: abstract data types, algebraic data types, and objects.

I previously did my blogging on Medium.

I worry about using terms which have heavily overloaded meanings.