Jan. 5th, 2016

alogic: (war)
Филип Дж. Купман придумал систему редукции на графах TIGRE (pdf) в 1989 году. Сначала он защитил диссертацию, потом издал книгу (всё есть на его странице), где утверждал, что вместо 7 процессорных инструкций, как в G-machine, его система использует 1 и поэтому по производительности ставит функциональные языки в один ряд с императивными. G-machine (pdf), в которую транслируется код Haskell, была придумана Самоном Пейтоном Джонсом раньше и что-то не видно, чтобы он обратил внимание на TIGRE. Вскоре Купман перестал интересоваться оптимизацией функциональных языков и перешёл на встроенные системы. Почему TIGRE не была принята и была ли она так уж хороша? Непонятно.

Profile

alogic: (Default)
alogic

December 2016

S M T W T F S
    123
45678910
11121314151617
181920212223 24
25262728293031

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 25th, 2017 06:37 am
Powered by Dreamwidth Studios