При реализации на подстановках есть неприятность: вот, к примеру если в словаре (env) есть тип, содержащий внутри несколько переменных t1, и еще один тип, содержащим внутри несколько переменных t2, и тут инференсер производит констрейнт t1=t2, придется носиться по всему словарю и все t1 заменять на t2. Куда проще было бы один раз сохранить редирект t1->t2.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2014-07-27 07:35 am (UTC)