This blog is a way of chronicling my efforts to learn the theory of programming languages, with an emphasis on functional languages.
An acquaintance of mine recently completed his PhD at the University of Waterloo. He He warned me before I set off on this journey that programming language theory has become “pretty mathematical”. While I do not have enough experience to compare this area of study to other endeavours in computer science, it seems to be somewhat true. The need to understand some formal logic, lambda calculus, and category theory creates a fascinating challenge.
I am Jake Penton. I am currently on temporary leave from graduate studies at McMaster University in Hamilton, Ontario.