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

[wizzard]

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

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

Comments

[jtootf.livejournal.com]

хорошая книга :)

[nponeccop.livejournal.com]

плюспицот.. и про терминологию тоже (я так понимаю, речь идет об изобретении собственных терминов?)

[nponeccop.livejournal.com]

Не очень хорошая, потому что с 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) это было изначально.

[jtootf.livejournal.com]

ох. я успел адски отстать от времени. надо что-то делать

[wizzard]

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

[nponeccop.livejournal.com]

Да я вот по HN не двигаюсь в коде, т.к. всё время открываю что-то новое, не успеваю читать :(