Hindley-Milner

[metaclass]

Пошел в википедию, почитать про сабж, а там меня послали в хер обратно в 22 главу Б.Пирса, которую я на ночь начитался до состояния, что мне ночью снились строго типизированные черви, жабы и змеи.

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

Comments

[basanov.livejournal.com]

Не понимаю, как связаны черви, змеи и ястреба! Ты читаешь это? «Ястреб / Winterhawk (Чарльз Б. Пирс / Charles B. Pierce)»

[metaclass.livejournal.com]

Benjamin C. Pierce, Types and programming languages.

[cd-riper.livejournal.com]

мне снятся крысы, хоботы и черти (с)

[gds.livejournal.com]

тоже, помню, долго бодался с этим алгоритмом. До практической версии упрощённого алгоритма не дошло, однако бумаги исписал порядочно, прежде чем сделал типовыводилку для тупой лямбды.

А говорят, есть ещё bidirectional type inference. Вот это интересно, учитывая, что частенько аббревиатуры типов гораздо полезнее, особенно в случаях, когда допустимы не только названные типы (т.е. в случаях структурной типизации). Там типовые алиасы спускаются сверху вниз по синтаксическому дереву, наталкиваясь на выведенные типы, ползущие вверх. Батальные сцены можно рисовать хоть сейчас.

[nicka-startcev.livejournal.com]

>типовые алиасы спускаются сверху вниз по синтаксическому дереву, наталкиваясь на выведенные типы, ползущие вверх. Батальные сцены можно рисовать хоть сейчас.

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

[thedeemon.livejournal.com]

А то, что в fprog было, не годится?

[metaclass.livejournal.com]

Я забыл про него - только потом уже нашел, сегодня буду перечитывать.

[helvegr.livejournal.com]

К книге Пирса прилагаются исходники с реализацией этого дела на окамле. Мне очень помогло.