Телеграмм чат группы graalvm

15:12пожаловаться #1

2018 August 14

То ощущение, когда пытаясь понять работу фреймворка, вышедшего пару лет назад , читаешь распечатку 1987 года

https://pat.keldysh.ru/~roman/doc/1987-Romanenko--Generator_kompilyatorov__porozhdennyj_samoprimeneniem_specializatora--ru.pdf

02:09пожаловаться #2

Нил Джонс придумал partial evaluation, а Романенко это заполировал вот этим документом

02:11пожаловаться #3

Да и мне кажется вот этот CALLR это @TruffleBoundary

02:12пожаловаться #4

Статья - огонь!

02:15пожаловаться #5

02:15пожаловаться #6

Первое предложение жжёт!

02:15пожаловаться #7

02:15пожаловаться #8

Надо будет прям запариться прочитать несколько раз

02:15пожаловаться #9

То есть, все началось с Футамуры, Турчина и Ершова

02:15пожаловаться #10

"Специализация программ - это порождение по программе f(x,y) при известном x программы fx, такой, что fx(y) = f(x,y). Специализатор Spec - это программа, выдающая по f и x программу fx = Spec(f,x)."

02:16пожаловаться #11

Spec(Spec, Spec) = мне кажется если хорошо понять что вот здесь в правой части написать, то можно считать что жизнь удалась

02:18пожаловаться #12

Oleg Shelajev

Это "третья проекция Футамуры" - генератор компиляторов. На вход подаем любой формально записанный интерпретатор, на выход получаем любой компилятор =)

02:46пожаловаться #13

https://speakerd.s3.amazonaws.com/presentations/28d8d630285a01310ba502e468fe5747/%D0%9F%D1%80%D0%BE%D0%B5%D0%BA%D1%86%D0%B8%D0%B8_%D0%A4%D1%83%D1%82%D0%B0%D0%BC%D1%83%D1%80%D1%8B.pdf

02:55пожаловаться #14

Мотать до огненных картинок с машиной для печати денег

02:56пожаловаться #15

Иначе говоря, когда Truffle AST компилируется в оптимизированный нативный код с помощью partial evaluation, то PE можно считать первой проекцией Футамуры

03:24пожаловаться #16

да, а сам truffle - вторая — ты подсовываешь интерпретатор и получаешь компилятор

03:27пожаловаться #17

про картинки кстати http://blog.sigfpe.com/2009/05/three-projections-of-doctor-futamura.html тут словами написано

03:28пожаловаться #18