[Перевод] Итак, вы всё ещё не понимаете Хиндли-Милнера? Часть 2
В части 1 мы говорили о том, какие строительные блоки нужны для формализации Хиндли-Милнера, а в этом посте мы конкретизируем их определения и сформулируем формализацию в целом: Читать дальше →
