“math” Posts

The Etymology of Lifting

In the exciting world of nullable types, lifting rears its ugly head. But what is it? Is it some weird creature from the deep Lisp? Or is it a benign organism whose only purpose is to satisfy a language designer's nerdity? Follow me, and we'll see just how far down the rabbit hole goes...

Uncountable vs. Infinite