Disclaimer: Before starting, be warned this post is heavily inspired by the video series Type Systems: Lambda calculus to Hindley-Milner by Adam Jones. I strongly recommend you watch this if you, like me, has been struggling to get into Hindley-Milner, and type theory in general.

Hindley-Milner is a type system for the lambda calculus. A type system is a set of rules for assigning a type to expressions for a particular language. They serve to check annotated types are correct. Also, they allow to infer types and check that values passed to operations make sense. On the other hand, lambda calculus is a mathematical system created to reason about computation.

This is going to be my first devlog. Here I will document the work made for Toywars. A small tactics game.

I have been working on a programming language for quite some time now. And I realized I didn't understand well polymorphism. In order to learn more about the topic I wrote this post. You can think of this article like a summary of what I found.