Vejo algumas discussões interessantes aqui sobre tipagem estática versus dinâmica. Geralmente, prefiro a digitação estática, devido à verificação do tipo de compilação, código melhor documentado, etc. No entanto, concordo que eles desordenam o código se feito da maneira que o Java faz, por exemplo.

Então, estou prestes a começar a criar uma linguagem de estilo funcional, e a inferência de tipo é uma das coisas que quero implementar. Eu entendo que é um assunto importante, e não estou tentando criar algo que não havia sido feito antes, apenas inferências básicas ...

Alguma dica sobre o que ler que vai me ajudar com isso? De preferência algo mais pragmático / prático em oposição a mais textos teóricos da teoria da categoria / teoria do tipo. Se houver um texto de discussão sobre implementação, com estruturas / algoritmos de dados, isso seria ótimo.