Hindley-Milner
Sep. 10th, 2010 06:36 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Пошел в википедию, почитать про сабж, а там меня послали в хер обратно в 22 главу Б.Пирса, которую я на ночь начитался до состояния, что мне ночью снились строго типизированные черви, жабы и змеи.
PS: Кстати, алгоритм Хиндли-Милнера я не мог понять до тех пор, пока вчера не попытался придумать его собственный вариант. Это у меня в голове какой-то принципиальный затык - пока я не сделаю хотя бы корявую, но практическую версию чего-либо сложно-теоретического - я теорию понять не в состоянии.
PS: Кстати, алгоритм Хиндли-Милнера я не мог понять до тех пор, пока вчера не попытался придумать его собственный вариант. Это у меня в голове какой-то принципиальный затык - пока я не сделаю хотя бы корявую, но практическую версию чего-либо сложно-теоретического - я теорию понять не в состоянии.
no subject
Date: 2010-09-10 08:43 am (UTC)и продавать сценарии в Голливуд.