Perguntas com a marcação «hindley-milner»

124
O que é Hindley-Milner?

Encontrei esse termo Hindley-Milner e não sei se entendi o que isso significa. Eu li os seguintes posts: Steve Yegge - Revolução de idiomas dinâmicos Steve Yegge - O problema de Pinóquio Daniel Spiewak - O que é Hindley-Milner? (e por que é legal?) Mas não há uma entrada única para esse termo...