metaclass: (Default)
[personal profile] metaclass
Пошел в википедию, почитать про сабж, а там меня послали в хер обратно в 22 главу Б.Пирса, которую я на ночь начитался до состояния, что мне ночью снились строго типизированные черви, жабы и змеи.

PS: Кстати, алгоритм Хиндли-Милнера я не мог понять до тех пор, пока вчера не попытался придумать его собственный вариант. Это у меня в голове какой-то принципиальный затык - пока я не сделаю хотя бы корявую, но практическую версию чего-либо сложно-теоретического - я теорию понять не в состоянии.

Date: 2010-09-10 08:43 am (UTC)
From: [identity profile] nicka-startcev.livejournal.com
>типовые алиасы спускаются сверху вниз по синтаксическому дереву, наталкиваясь на выведенные типы, ползущие вверх. Батальные сцены можно рисовать хоть сейчас.

и продавать сценарии в Голливуд.

Profile

metaclass: (Default)
metaclass

April 2017

S M T W T F S
      1
2345678
9101112 131415
16171819202122
23242526272829
30      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 22nd, 2025 05:06 pm
Powered by Dreamwidth Studios