programming

Mathematics and Programming Languages

As you might expect, coming from a math background I prefer more carefully-typed languages. But here I want to describe how mathematical discourse is less formal or general than you might expect, and the lessons that holds for programming.

Note: For brevity, in what follows I assume a very little bit of math background. Read more about Mathematics and Programming Languages

Subscribe to programming