Филип Дж. Купман придумал систему редукции на графах TIGRE (
pdf) в 1989 году. Сначала он защитил диссертацию, потом издал книгу (всё есть на его
странице), где утверждал, что вместо 7 процессорных инструкций, как в G-machine, его система использует 1 и поэтому по производительности ставит функциональные языки в один ряд с императивными. G-machine (
(
Read more... )