Preguntas etiquetadas con hindley-milner

124
¿Qué es Hindley-Milner?

Encontré este término Hindley-Milner , y no estoy seguro de comprender lo que significa. He leído las siguientes publicaciones: Steve Yegge - Lenguajes dinámicos contraatacan Steve Yegge - El problema de Pinocho Daniel Spiewak - ¿Qué es Hindley-Milner? (y por qué es genial?) Pero no hay una...