?

Log in

No account? Create an account
сестра таланта - Поклонник деепричастий [entries|archive|friends|userinfo]
Anatoly Vorobey

[ website | Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Links
[Links:| English-language weblog ]

сестра таланта [мар. 20, 2013|01:31 am]
Anatoly Vorobey
[Tags|]

Наткнулся на этот исторический документ, интерпретатор игрушечного фрагмента языка J, написанный в 89-м году создателем родственного языка K.

Если вы не знаете J/APL (как и я; давно хочу изучить, да все как-то...), то предлагаю вам задачу, которую я поставил перед собой из чистого любопытства мазохизма упрямства: прочитайте и поймите эту программу (включая понимание того, как устроен язык, который она интерпретирует) только с листа, не перенося ее в компьютер, не запуская, не переписывая исходники более понятным образом итп.




typedef char C;typedef long I;
typedef struct a{I t,r,d[3],p[2];}*A;
#define P printf
#define R return
#define V1(f) A f(w)A w;
#define V2(f) A f(a,w)A a,w;
#define DO(n,x) {I i=0,_n=(n);for(;i<_n;++i){x;}}
I *ma(n){R(I*)malloc(n*4);}mv(d,s,n)I *d,*s;{DO(n,d[i]=s[i]);}
tr(r,d)I *d;{I z=1;DO(r,z=z*d[i]);R z;}
A ga(t,r,d)I *d;{A z=(A)ma(5+tr(r,d));z->t=t,z->r=r,mv(z->d,d,r);R z;}
V1(iota){I n=*w->p;A z=ga(0,1,&n);DO(n,z->p[i]=i);R z;}
V2(plus){I r=w->r,*d=w->d,n=tr(r,d);A z=ga(0,r,d);
DO(n,z->p[i]=a->p[i]+w->p[i]);R z;}
V2(from){I r=w->r-1,*d=w->d+1,n=tr(r,d);
A z=ga(w->t,r,d);mv(z->p,w->p+(n**a->p),n);R z;}
V1(box){A z=ga(1,0,0);*z->p=(I)w;R z;}
V2(cat){I an=tr(a->r,a->d),wn=tr(w->r,w->d),n=an+wn;
A z=ga(w->t,1,&n);mv(z->p,a->p,an);mv(z->p+an,w->p,wn);R z;}
V2(find){}
V2(rsh){I r=a->r?*a->d:1,n=tr(r,a->p),wn=tr(w->r,w->d);
A z=ga(w->t,r,a->p);mv(z->p,w->p,wn=n>wn?wn:n);
if(n-=wn)mv(z->p+wn,z->p,n);R z;}
V1(sha){A z=ga(0,1,&w->r);mv(z->p,w->d,w->r);R z;}
V1(id){R w;}V1(size){A z=ga(0,0,0);*z->p=w->r?*w->d:1;R z;}
pi(i){P("%d ",i);}nl(){P("\n");}
pr(w)A w;{I r=w->r,*d=w->d,n=tr(r,d);DO(r,pi(d[i]));nl();
if(w->t)DO(n,P("< ");pr(w->p[i]))else DO(n,pi(w->p[i]));nl();}

C vt[]="+{~<#,";
A(*vd[])()={0,plus,from,find,0,rsh,cat},
(*vm[])()={0,id,size,iota,box,sha,0};
I st[26]; qp(a){R a>='a'&&a<='z';}qv(a){R a<'a';}
A ex(e)I *e;{I a=*e;
if(qp(a)){if(e[1]=='=')R st[a-'a']=ex(e+2);a= st[ a-'a'];}
R qv(a)?(*vm[a])(ex(e+1)):e[1]?(*vd[e[1]])(a,ex(e+2)):(A)a;}
noun(c){A z;if(c<'0'||c>'9')R 0;z=ga(0,0,0);*z->p=c-'0';R z;}
verb(c){I i=0;for(;vt[i];)if(vt[i++]==c)R i;R 0;}
I *wd(s)C *s;{I a,n=strlen(s),*e=ma(n+1);C c;
DO(n,e[i]=(a=noun(c=s[i]))?a:(a=verb(c))?a:c);e[n]=0;R e;}

main(){C s[99];while(gets(s))pr(ex(wd(s)));}



Я потратил на это немало времени сегодня вечером, но, кажется, добился.

Но черт побери. Черт побери! (подавляет в себе сложные эмоции и уходит, качая головой)
СсылкаОтветить

Comments:
[User Picture]From: gdt
2013-03-19 11:45 pm
мне кажется, тут будут уместны две цитаты из Козьмы Пруткова.
первая: "Усердие всё превозмогает!"
вторая: "Бывает, что усердие превозмогает и рассудок."
(Ответить) (Thread)
[User Picture]From: ygam
2013-03-19 11:56 pm
Говорит, что божество
Воплощается в трех лицах.
Но все трое, если нужно,
Воедино могут слиться;

Что постигнуть это чудо
И поверить не на шутку
Может только тот, кто бросит
Вызов здравому рассудку;
(Ответить) (Parent) (Thread)
[User Picture]From: ushastyi
2013-03-20 12:06 am
Класс! Но неужели в 89м так экономили символы?... Что-то не помню такого.

Стоить заметить, что программы на J часто выглядят куда менее понятными. Особенно для непосвященных. Тем более, что их всегда можно "свернуть" в одну строчку оператором компиляции. Классика жанра -- программа, реализующая сиплекс-метод:


[-(({~"1<:@{:)-(i.@#@[=<:@{.@]))*/(({~<:@{.)%({~<@<:))>

(отсюда)
(Ответить) (Thread)
[User Picture]From: avva
2013-03-20 06:43 am
Не, нормальные люди не экономили :)
(Ответить) (Parent) (Thread)
[User Picture]From: webface
2013-03-20 01:06 am
только с листа

Разрешается делать заметки карандашом или нужно все понять, смотря на экран? Если второй вариант, то сразу сдаюсь :)
(Ответить) (Thread)
[User Picture]From: kirenenko
2013-03-20 01:41 am
Язык R, близкий родственник J, упорно становится основным языком так называемых учьоных. Там «черт побери» постоянное, особенно с учётом того, что учьоные - не программеры.
(Ответить) (Thread)
[User Picture]From: kit1980ukr
2013-03-20 02:02 am
Почему вы считаете, что R - родственник J, к тому же близкий?
(Ответить) (Parent) (Thread) (Развернуть)
[User Picture]From: razetdinov
2013-03-20 02:08 am
Без пива не разберешься.
(Ответить) (Thread)
[User Picture]From: strangeraven
2013-03-20 06:25 am
понять помучившись, конечно, можно, но зачем?

гораздо проще ее отформатировать по человечески, удалить макросы, переименовать переменные и так разобраться
(Ответить) (Thread)
[User Picture]From: _winnie
2013-03-20 10:55 am
Зачем удалять макросы? :)

#define P printf
#define R return

P - наПечатать (Print)
R - веРнуть (Return)
(Ответить) (Parent) (Thread)
From: onanymous.myopenid.com
2013-03-20 06:57 am
Roger Hui – это пять.
(Ответить) (Thread)
[User Picture]From: ledernierheros
2013-03-20 10:08 am
А это точно интерпретатор J? Я всегда думал, что это интерпретатор A+. По ссылке сказано "an interpreter fragment", что не проясняет ситуацию

Да, у Артура, голова работает явно по-другому. Но что-то притягательное в этом есть. Когда начинал писать на q (развитие k), всегда использовал длинные имена функций, которые всё объясняют. А потом стал всё больше писать однострочники - которые все перед глазами и в объяснениях не нуждаются.
Что меня в q/k поражает гораздо больше - это контекстозависимоть. $ - может быть как cast, так и if/else, так и case. Если второе и трерье ещё как-то связаны, то почему тот же самый символ используется для первого - для меня - полная загадка.
(Ответить) (Thread)
[User Picture]From: zigel
2013-03-20 12:41 pm
Пока так:
t - тип 0 или 1 (box?)
r - размерность,
d - размеры r-мерного прямоугольника
p - данные.

tr -- количество "элементарных" элементов
ga - конструктор
iota - создание 1-мерного массива [0, 1, ... n]
plus - сложение массивов одинаковой размерности и размеров
from - доступ к произвольному n-1 мерному ряду/элементу
box - запаковать в один элемент специального типа
cat -- конкатенировать и запаковать в линейный массив
size - количество рядов (первый размер)
rsh - тоже какое-то склеивание
sha - размеры

парсинг и выполнение лень было читать.



Edited at 2013-03-20 12:42 (UTC)
(Ответить) (Thread)
[User Picture]From: avva
2013-03-20 12:49 pm
все верно, да
t - обозначает, что это на самом деле запакованный указатель на другой элемент
rsh - ключевая штука, потому что единственное, что позволяет увеличить размерность
в парсинге оригинально сделана поддержка той запаковки, что указана в t, но в целом ничего очень сложного нет

(Ответить) (Parent) (Thread) (Развернуть)
[User Picture]From: lj_val
2013-03-20 04:41 pm
Обфускация - OK
(Ответить) (Thread)
[User Picture]From: avva
2013-03-20 04:42 pm
это не обфускация
(Ответить) (Parent) (Thread)
[User Picture]From: gineer
2013-03-20 06:58 pm
по именам понятно, что это реализации примитивов языка... и да, в таком виде оно неудобоваримо, как и всякий обфускейтед, или тупо бинарник без дизасама(а иногда и с ним). :)
(Ответить) (Thread)
[User Picture]From: moon_aka_sun
2013-03-20 07:57 pm
Да, великие люди, все трое. Что тут можно ещё сказать.
(Ответить) (Thread)
[User Picture]From: raindog_2
2013-03-20 11:46 pm

J - волшебный язык

Уже несколько лет по-детски радуюсь языку J. Он, конечно, write-only language, но я его и применяю в случаях, когда нужно что-то быстро посчитать, и скорее всего это больше не понадобится. Но каждый раз - как чудо - одна строка, которая делает то, что на обычном языке заняло бы страницы, и делает быстро.
(Ответить) (Thread)
[User Picture]From: kodt_rsdn
2013-03-23 10:22 pm

Re: J - волшебный язык

Шеф рассказывал, что в советской древности у них в ЦНИИ Крылова была французская ЭВМ со встроенным APL. Так вот, библиотека программ к ней представляла журнал, где на развороте с одной стороны была пара-тройка строчек из "взбесившегося линотипа" и описание к ним, а с другой стороны - фото красотки.
С такого ммммм, оляля, языка программирования - просто недетская радость.
(Ответить) (Parent) (Thread) (Развернуть)