Chris Lattner recently explained that because of function overloads (and other features), type inference is really hard to make fast in Swift, and is why he say

Chris Lattner recently explained that because of function overloads (and other features), type inference is really hard to make fast in Swift, and is why he says that "using Hindley-Milner was a mistake". [0] [0]: https://youtu.be/ENviIxDTmUA?si=FavjcK8IQygnlIwT&t=4417 https://youtu.be/ENviIxDTmUA?si=FavjcK8IQygnlIwT&t=4417