Damas-Hindley-Milner tipo di implementazione dell'algoritmo di inferenza

Question

sto cercando informazioni sul noto Damas-Hindley- Milner algoritmo fare inferenza di tipo per linguaggi funzionali, in particolare le informazioni relative all'attuazione.

so già come fare la Algoritmo W , ma ho sentito parlare di recenti nuovi algoritmi in base a vincolo generatore / risolutore piuttosto del solito unificazione. Tuttavia, non riesco a trovare nessuna discussioni circa l'attuazione di quelle nuovo algoritmo.

Hai idea di dove potrei trovare alcune informazioni parziali sui ML inferenza?

Answer 1

Se sei a tuo agio con il codice di ML, il modo migliore per trovare queste cose è di guardare semplicemente nelle implementazioni in natura. Un'implementazione di riferimento è buona Amleto , che è stato progettato come più di una piattaforma test piuttosto di un'implementazione di produzione.

recente discussione Quasi tutte serio questi problemi sta per essere in sedi accademiche. Una carta che potrebbero essere di interesse è Generalizzando Hindley- Milner inferenza di tipo algoritmi .

Inoltre, le implementazioni di vari sistemi di tipo (compresi i let polimorfismo) a Pierce di " Tipi e Linguaggi di Programmazione "così come Appel di" moderna Compiler Implementazione in ML " più da vicino corrispondere approcci moderni per l'attuazione del presente che la descrizione di vaniglia di algoritmo W.