Hindley Milner

November 14, 2018

“There are many ways of trying to understand programs. People often rely too much on one way, which is called “debugging” and consists of running a partly-understood program to see if it does what you expected. Another way, which ML advocates, is to install some means of understanding in the very programs themselves”

  • Robin Milner

I spent roughly two years constantly pitching the folks at my last job to embrace static typing. I should have looked to the words of people who tried to get the programming community at-large to embrace static typing. Probably would have helped with my pitch.

Written by Lewis Chung. Founder @ ShopWith. Previously: Coursera, Amazon. Writes about technology, products, and life.