# Tag: mathematics

## Where to start with The Lambda Calculus

When you first start studying functional programming, one of the things that people will ask you is “So; have you learned lambda calculus (TLC)?”.

The fact is that while you don’t need to learn TLC to learn about functional programming; you *ought* too study the TLC at some point.

In this great LtU thread on “where to get started with studying programming language theory”, Anton van Straaten posted a comment referencing two posts on the PLT discussion list detailing a plan on what you should study when it comes to TLC and the texts that you should use to facilitate those studies.

## A beautiful monster

Can we look to mathematics to find the “measure of beauty”?