Алгоритм PT для вывода типа ML

Question

Алгоритм PT для вывода типа ML

Чтобы алгоритм PT для вывода типа ML работал, входное выражение программы должно иметь свойство отличия каждой связанной переменной. Может кто-нибудь объяснить это на примере?

2

type-inference ml bound-variable

Источник

user3956730 22 фев '16 в 21:54

1 ответ

Другие вопросы по тегам type-inference ml bound-variable

user7439915 10 фев '17 в 08:06 2017-02-10 08:06 · Answer 1 · 2017-02-10 08:06

Дело в том, что переменные, связанные разными связывателями, отличаются друг от друга и, следовательно, могут иметь разные типы. Поэтому рекомендуется переименовывать их, чтобы избежать путаницы и иметь возможность говорить о типе "x", не беспокоясь о том, на какие из связующих элементов "x" мы ссылаемся.