TIL Hindley–Milner type system.

Read The Swift Runtime: Your Silent Partner.