Resultados de la búsqueda a petición "hindley-milner"

1 la respuesta

runST con sistema de tipo Hindley-Milner

Si entiendo la mónada ST en Haskell correctamente,runST usa los tipos de rango 2 de una manera inteligente para garantizar que un cálculo no haga referencia a ningún otro hilo al escapar de la mónada. Tengo un lenguaje de juguete con un sistema ...

5 la respuesta

¿Qué hace que el sistema de tipos de Haskell sea más "poderoso" que los sistemas de tipos de otros idiomas?

Leyendo¿Desventajas del sistema de tipo Scala versus Haskell? [https://stackoverflow.com/questions/3689407/disadvantages-of-scala-type-system-versus-haskell] , Tengo que preguntar: ¿qué es, específicamente, lo que hace que el sistema de tipos de ...

6 la respuesta

"¿Qué parte de Hindley-Milner no entiendes?"

1 la respuesta

Implementación del algoritmo de inferencia de tipo Damas-Hindley-Milner

Estoy buscando información sobre el conocidoAlgoritmo Damas-Hindley-Milner [https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system]hacer inferencia de tipos para lenguajes funcionales, especialmente información sobre implementación. Ya ...

2 la respuesta

¿Cuáles son los límites de la inferencia de tipos?