So You Still Don’t Understand Hindley-Milner? Part 2

June 8, 2013 Amit Gupta

In Part 1, we said what the building blocks of the Hindley-Milner formalization would be, and in this post we’ll thoroughly define them, and actually formulate the formalization:

Formalizing the concept of an expression

We’ll give a recursive definition of what an expression is; in other words, we’ll state what the most basic kind of expression is, we’ll say how to create new, more complex expressions out of existing expressions, and we’ll say that only things made in this way are valid expressions.

Read on at my blog (since these blogs don’t support MathJax) →

About the Author

Amit Gupta

Amit joined Pivotal in 2012, where he works as Director of Product Management, Pivotal Cloud Foundry. His focus is the platform operator experience.

Follow on Twitter More Content by Amit Gupta
Previous
So You Still Don’t Understand Hindley-Milner? Part 3
So You Still Don’t Understand Hindley-Milner? Part 3

In Part 2, we finished defining all the formal terms and symbols you see in the StackOverflow question on t...

Next
Entropy: How Password Strength Is Measured
Entropy: How Password Strength Is Measured

Mike Sierchio wrote a cool post on password strength, and the concept of entropy. As he points out, entropy...

Enter curious. Exit smarter.

Learn More