Уменьшил синтаксис Си ради 15 байт

Скучая на очередном уроке биологии я вспомнил о таком прекрасном творении как brainfuck и о его интерпретаторах. А вернее я вспомнил что самый маленький интерпритатор был написан ещё в бородатых годах и занимал что-то около 150 байт.

Вернувшись домой я нашел самый маленикий среди них:

s[99],*r=s,*d,c;main(a,b){char*v=1[d=b];for(;c=*v++%93;)for(b=c&2,b=c%7?a&&(c&17?c&1?(*r+=b-1):(r+=b-1):syscall(4-!b,b,r,1),0):v;b&&c|a**r;v=d)main(!c,&a);d=v;}

Он написан на Си, занимает 160 байт иии… Это много.

Посмотрите как много место занимает обьявление функции main. Одним словом: ужас.

Решение очевидно — нужно уменьшить синтаксис насколько это возможно.

Есть два стула…

Первый стул — создать свой язык с минимальным синтаксисом и кучей сахара на основе существующего компилятора Си.

Второй стул — создать свой язык с минимальным синтаксисоми кучей сахара, который будет просто транслироваться в Си.

Выбор очевиден. Писать свой компилятор даже на основе готового — смерть, долгая и мучительная. Наша программа должна просто заменить в исходном файле некоторые части, записать итог в файлик и отдать этот файлик gcc. Так что, сделав умный вид, я принялся обдумывать синтаксис языка microC.

Синтаксис языка и что вообще нужно заменять

Синтаксис я решил построить на макросах — специальных конструкций, развёртывающихся в Си код согласно параметрам.

Взяв первый попавшийся, неиспользуемый символ в Си — тильда (~), я принялся плясать вокруг этого. И решил сделать для макросов подобный синтаксис:

~<назвение макроса (один символ)><тело макроса>!

Или для более сложных конструкций:

~<назвение макроса><осложняющая часть (дальше просто ОЧ)>:<тело>!

if (a == 5) {   printf_s("a == 5"); }  while (a > 5) {   printf_s("a--");   a--; }

Для использования символа ‘!’ как отрицание следует использовать ‘`’

Так же переменные и функции претерпели некоторые изменения

// Си код char Cvar = 5;  /microC код/ 7MCvar5;

Для начала я решил опустить смвол равенства, тем самым сделав невозможным использование цифр в названии переменной. Можно догадаться, что тип char превратился в 7, но почему именно 7 и какими цифрами обозначаются другие типы.

Типы данных

Самый компактный способ записи — числа — был найден сразу, но какие числа должы соответствовать каким типам?

Вспомним, что сколько в С выделяется байт под каждый тип в памяти:

Решено! будем обозначать типы их размером. Только вот под само число в знаковом типе выделяется на один бит меньше, чем в верхнеописаной таблице, поэтому будем обозначать типы по количеству бит, отведённых в них под само число, игнорируя бит знака. И того вот итоговая таблица типов:

a = b;

a|b;

7var|a==5 ? b|k : G|k;  // в Си это выглядело бы так: char var = a == 5 ? b=k : G=k;  // но из-за вышеназвонной проблемы в microC это будет выглядеть все же так: 7var|a==5 ? b=k : G=k;

В целом, есть ещё пару изменений в синтаксисе, но вы сможете самостоятельно почитать про них в github репозитории.

Итог. Переписывание интерпритатора на microC

После долгого и мучительного переписывания интерпритатора получилось следующее

7s[99],*d,c;*r|s;~M7*v1[d=v];~wc=*v++%93:b|c&2,b=c%7?a&&(c&17?c&1?(*r+=b-1):(r+=b-1):syscall(4-!b,b,r,1),0):v;~wb&&c|a**r:main(!c,&a);v|d;!!d=v;!

7s[99],*d,c; *r|s; ~M   7*v1[d=v];   ~wc=*v++%93:     b|c&2,b=c%7?       a&&         (c&17 ?           c&1 ?             (*r+=b-1):             (r+=b-1):               syscall(4-!b,b,r,1),0):v;     ~wb&&c|a**r:       main(!c,&a);       v|d;     !   !   d=v; !

Итого: 145 байт! И это на 15 байт меньше чем оригинал!

Также я написал ещё и свою версию на 250 байт

~Istdio.h! 7a[30000];7*p|a; 7*l[99];7i0; ~m7*s1[v];7*k|s; ~w*k!='!': ~S*k: ~c60:p--;~b ~c62:p++;~b ~c43:*p+=1;~b ~c45:*p-=1;~b ~c44:*p|getchar();~b ~c46:putchar(*p);~b ~c91:~i*p!=0:l[i++]|k;~b!~w*k!=93:k++;!~b ~c93:~i*p!=0:k|l[i-1];~b!i--;~b! k++; !!

Спасибо за прочтение. Код компилятора и гайд по языку лежат на гитхабе: