wizzard: (Default)
wizzard ([personal profile] wizzard) wrote2009-05-28 12:06 am

если вы не гений, то…

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

p.s. это к фразе “зачем мне всё читать, моя точка зрения уже устоялась, лучше придумывать что-то своё” (с) кому надо – тот поймет.
p.p.s. и вновь мы возвращаемся к проблеме терминологии…

[identity profile] jtootf.livejournal.com 2009-05-28 01:32 am (UTC)(link)
хорошая книга :)

[identity profile] nponeccop.livejournal.com 2009-06-01 05:55 pm (UTC)(link)
Не очень хорошая, потому что с 1991 много воды утекло, и тот же SPJ многому научился. Например, он сначала выдвинул концепцию Spineless Tagless G-Machine, затем отказался от концепции tagless, а в свежайшей статье http://www.cl.cam.ac.uk/~mb566/papers/tacc-hs09.pdf (текущая редакция от 28 мая сего года) он вообще говорит о концепции strict intermediate language:

For a long time, a lazy language was, to us at least, the obvious intermediate language for a lazy source language such as Haskell – so it was rather surprising to discover that an appropriately-chosen strict calculus seems to be in many ways better suited to the task!

Т.е. непонятно что вообще с G-machine будет, и нужно ли читать по ней литературу (а тем более, реализовывать в своём проекте или изобретать самому с нуля).

Кстати насчет static arity dispatch (которую соавтор SPJ предлагает в числе фич в свежем пейпере) - в PABC-машине Клина (описанной в моей любимой книге Functional programming and parallel graph rewriting) это было изначально.

[identity profile] jtootf.livejournal.com 2009-06-01 06:01 pm (UTC)(link)
ох. я успел адски отстать от времени. надо что-то делать

[identity profile] nponeccop.livejournal.com 2009-06-01 07:33 pm (UTC)(link)
Да я вот по HN не двигаюсь в коде, т.к. всё время открываю что-то новое, не успеваю читать :(

[identity profile] nponeccop.livejournal.com 2009-06-01 04:16 pm (UTC)(link)
плюспицот.. и про терминологию тоже (я так понимаю, речь идет об изобретении собственных терминов?)