Здравствуйте, Sinclair, Вы писали:

VD>>То что ты описал влет оптимизируется путем тупой мемоизации (в том же Немерле — это ровно один атрибут на метод повесть).
S>Нет, не всё. Речь же не просто о перечислении значений параметров. К примеру, если известно, что параметром некоторого floating-point алгоритма всегда будут целые числа, то частенько можно его подкрутить так, чтобы он был быстрее. Никакая мемоизация тут не спасёт.

Товарищи описывают, как алгоритм Кнута-Морриса-Пратта получается из брутфорс-алгоритма путем partial evaluation: On Obtaining Knuth, Morris, and Pratt’s String Matcher by Partial Evaluation