Resultados da pesquisa a pedido "hindley-milner"

5 a resposta

O que torna o sistema de tipos de Haskell mais "poderoso" do que os sistemas de tipos de outros idiomas?

LendoDesvantagens do sistema do tipo Scala versus Haskell? [https://stackoverflow.com/questions/3689407/disadvantages-of-scala-type-system-versus-haskell] , Tenho que perguntar: o que é, especificamente, o que torna o sistema de tipos de Haskell ...

1 a resposta

Implementação do algoritmo de inferência do tipo Damas-Hindley-Milner

Estou procurando informações sobre os conhecidosAlgoritmo de Damas-Hindley-Milner [https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system]fazer inferência de tipo para linguagens funcionais, especialmente informações ...

1 a resposta

runST com sistema do tipo Hindley-Milner

Se eu entendi a mônada ST em Haskell corretamente,runST usa tipos de classificação 2 de maneira inteligente para garantir que um cálculo não faça referência a nenhum outro encadeamento ao escapar da mônada. Eu tenho uma linguagem de brinquedo ...

6 a resposta

“Que parte de Hindley-Milner você não entende?”

2 a resposta

Quais são os limites da inferência de tipos?