Technically the same is true of Haskell[0] but most people (myself included) will refer to the kind of type system used as Hindley-Milner for simplicities sake.

Technically the same is true of Haskell[0] but most people (myself included) will refer to the kind of type system used as Hindley-Milner for simplicities sake. (Both are more powerful though) [0] https://cstheory.stackexchange.com/a/30528/20014 https://cstheory.stackexchange.com/a/30528/20014