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