Я ищу информацию о всем известномАлгоритм Дамаса-Хиндли-Милнера сделать вывод типа для функциональных языков, особенно информацию о реализации.

Я уже знаю, как это сделатьАлгоритм W, но я слышал о недавних новых алгоритмах, основанных на генераторе / решателе ограничений, а не на обычной унификации. Однако мне не удается найти какие-либо дискуссии о реализации этого нового алгоритма.

Любая идея, где я мог бы найти некоторую частичную информацию о выводе ML?