New posts in Hindley Milner

Which programming languages support functions that take themselves as arguments?

Why does calling a method on a variable prevent Rust from inferring the type of the variable?

What part of Hindley-Milner do you not understand?

What is Hindley-Milner?