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.

About Me

I am Jake Penton. I am currently on temporary leave from graduate studies at McMaster University in Hamilton, Ontario.

Leave a Reply

Your email address will not be published. Required fields are marked *


You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>