Resultados de la búsqueda a petición "hindley-milner"
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 ...
¿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 ...
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 ...