Preguntas etiquetadas con hindley-milner

Yo juro que solía ser una camiseta a la venta con las palabras inmortales: Que parte de es lo que no entiende? En mi caso, la respuesta sería ... ¡todo! En particular, a menudo veo notación como esta en los documentos de Haskell, pero no tengo idea de lo que …

851 haskell  functional-programming  lambda-calculus  hindley-milner  denotational-semantics 

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 sola entrada para …

124 functional-programming  types  inference  hindley-milner