Codegolf — Самокомпилирующийся Компилятор

#

Подмножество Haskell → C — 18926 символов.

При этом небольшая часть Haskell компилируется в C. Поддерживаемые функции:

• Сопоставление с образцом и защита
• Объявления данных
• Выберите инфиксные операторы
• Ленивая оценка

Самыми большими недостающими функциями являются вложенные переменные (то есть отсутствие лямбда/let/where/case), проверка типов и классы типов. Получающиеся в результате программы теряют память, а самокомпиляция занимает в моей системе около 200 мегабайт ( Сборщик мусора Бём очень помогает, но только если компилятор хорошо оптимизирует хвостовую рекурсию).

Для начальной загрузки раскомментируйте первые три строки (не учитываемые в оценке) и скомпилируйте с помощью GHC. Компилятор принимает код подмножества Haskell на стандартный ввод и создает код C на стандартный вывод.

Долго не потому что язык сложный, а потому что я ленивый. Однако на данный момент это самое короткое решение. Больше нет. Думаю, мне не придется скучать в эти выходные.

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 :- module(lumber_types,

[]).
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Пользовательский язык → C - (7979)

Поскольку этот вопрос не исключает создания моего собственного языка, я решил попробовать.

Окружающая среда

Язык имеет доступ к двум стекам: стеку вызовов и стеку данных. Стек вызовов используется для инструкций перехода. :- use_module(lumber_types). and .V , а стек данных используется большинством других инструкций. Стек вызовов непрозрачен для приложений.

Стек данных может содержать три разных типа значений: целочисленные, текстовые и пустые. Целые числа имеют тип intptr_t, а текст хранится в виде строк в стиле C.

document.write("public class Generated{public static void main(String[]args){"+prompt().replace(RegExp("[r]eplace(,"g"),"replaceAll(").replace(RegExp("[v]ar","g"),"double")+"}static class document{static void write(String s){System.out.print(s);}}static void prompt(){return javax.swing.JOptionPane.showInputDialog(\"\");}static void alert(String a){JOptionPane.showMessageDialog(null,a);}static double Number(String a){return Double.parseDouble(a);}static String RegExp(String a,String b){return a;}}"); instruction has access to The Array. The Array is a constant array of length 17 of text items. You should probably see the source for the indexing scheme since it's a little wonky.

Язык

Компилятор

Это компилятор. Это не гольф, и я ожидаю, что его можно значительно сократить. Должна быть возможность использовать машинный код напрямую и выводить COM-файл DOS, но я еще не дошел до этого. Я знаю, что это похоже на программу на C, но фактическая реализация компилятора в конце не работает.

В настоящее время компилятор генерирует много отладочной информации на stderr.

Чтобы скомпилировать сгенерированный код C:

Кодировка обязательна, поскольку компилятор экранирует специальные символы, добавляя 128.

Бутстрап

Чтобы скомпилировать первый компилятор, я написал интерпретатор этого языка на Python.

Собираем все вместе

Предполагая, что вы сохранили компилятор как [0-9a-f][0-9a-f] and the bootstrap as 7f454c4602010100000000000000000002003e0001000000780040000000000040000000000000000000000000000000000000004000380001004000000000000100000005000000000000000000000000004000000000000000400000000000130100000000000013010000000000000000200000000000e81700000085c07c0b31ff01c7e879000000ebec31c089c7b03c0f05e84c0000004885c07c203c2178f2741b89c7e825000000c0e00450e83100000089c7e8150000005900c8c3e8210000003c0d7ff774ca3c0a75f1ebc489f831c93c400f9cc148ffc980e12780c13028c8c36a004889e631c089c2fec289c70f0531c985c0580f95c148ffc94809c8c3574889e631c0fec089c289c70f0558c3 , вот как собрать компилятор, а затем использовать его для собственной компиляции:

Так что я не особо разбираюсь в C-программисте и не особо разбираюсь в языковом дизайнере, поэтому любые предложения по улучшению этого языка приветствуются!

Примеры программ

Привет, мир!

Расширенный мозговой трах v0.9: 618 байт (не считая ненужных переводов строк)

Это моя версия для гольфа самая первая версия EBF с удаленной поддержкой комментариев и мертвым кодом для поддержки удаления переменных.

Так что в основном это BrainFuck с переменными. :x creates variables x. The compiler knows where you are so :c:n:z:g:i:t:w:a:p++++++++[->++++++++<]>[->>>>>>>[>>>>>>>>]+[<<<<<<<<]>]>>>>>>>[->>>>>>>>]@i $i,[[-$t+$w+$i]$t[-$i+$t]+$a+++[-$w-----------$a]$w---[$a++[-$w-----------$a]$w[--[--[--[$i. $t+++++++[-$w++++++++$t]$w[-]]$t[-$p[-]$i.$n,.[-<[<<]+[>>]<]@n$c[<<]>[-<<<+>>>>[>>]@z$p+$c[< <]>]<<<[->>>+<<<]>>>>[->>]@z$t]$w]$t[-$i.$p+$t]$w]$t[-$i.$p-$t]$w]$t[$i.$n,.[-<[<<]+[>>]<]@n $g[-$t+$c[<<]>+>[>>]@z>]$c[<<]>>[->>]@z$t[-$g+$t]$t]$w]$t[-$i.[-]$n,.[-<[<<]+[>>]<]@n$c[<<]> [-<<<+>>>>[>>]@z$i+$a+$c[<<]>]<<<[->>>+<<<]>>>>[->>]@z<++++++[->++++++++++<]$w+$p[$a[-$w-]<[ @w-$p[-$z.$p]+$t]$w+$p-]$z++$w-$a[-$z.$a]$z[-]$i[-$p+$i]$t]$w$i,] создаст < и >, чтобы добраться до этой позиции. Иногда вам нужны асимметричные циклы, и тогда вам нужно сообщить компилятору, где вы находитесь. Hello, World!@@@@@@@@@@@@@@@@@#0.^<$ . As current EBF it compiles to Brainfuck.

В этой первой версии было только одно символьное имя переменной, но я использовал эту версию для компиляции следующей версии и так далее, пока не появилась текущая версия с впечатляющим набором функций. При компиляции из исходного кода GitHub он фактически загружает скомпилированный вручную двоичный файл для загрузки 6 промежуточных версий ebf, чтобы создать текущую версию.

Чтобы загрузить его, вы можете использовать это первый и единственный двоичный файл в git-репозитории EBF, который был успешно скомпилирован вручную после пары попыток.

У Brainfuck есть несколько аппаратных реализаций, например. этот, этот и этот чтобы упомянуть несколько. Но в большинстве случаев его настолько легко реализовать, что интерпретатор можно практически реализовать в любой системе. я так шучу Зозотез ЛИСП, написанный на EBF, вероятно, является самым переносимым LISP из когда-либо существовавших.

Шестнадцатеричный, 550 байт

Это специально предназначено для систем x86_64 под управлением Linux.

На этом языке исходный код состоит из байтов, представленных двумя шестнадцатеричными цифрами нижнего регистра. compiler.cmp . These bytes may have any amount of surrounding whitespace, but nothing may occur between the digits that form a single byte. Further, import sys from collections import defaultdict KEYS = [0,1] + map(ord, ['@','^','-','+','>','<','!','_','=','?','{','}','#','.','$']) # Read the source file with file(sys.argv[1]) as f: data = f.read() pos = 0 # Initialize the environment array = defaultdict(str) jmp = [] stk = [] def log(x): sys.stderr.write(x + '\n') def read(): global pos,data pos += 1 return data[pos-1] def pop(): global stk try: x = stk.pop() except IndexError: x = None log('\tpopped ' + repr(x)) return x def push(value): global stk log('\tpushing ' + repr(value)) stk.append(value) # Read the array initialization section for key in KEYS: while True: c = read() if c == '@': break array[key] += c # Execute the program while pos < len(data): c = read() if c == '^': log('translate:') push(array.get(pop(), None)) elif c == '-': log('subtract:') x = pop() y = pop() push(y - x) elif c == '+': log('add:') x = pop() y = pop() push(y + x) elif c == '>': log('read:') push(ord(sys.stdin.read(1))) elif c == '<': log('write:') v = pop() if isinstance(v, int): sys.stdout.write(chr(v)) elif v is not None: sys.stdout.write(v) elif c == '!': log('duplicate:') x = pop() push(x) push(x) elif c == '_': log('discard:') pop() elif c == '=': log('skip if equal:') x,y = pop(),pop() if x == y: pos += 1 jmp.pop() elif c == '?': log('loop:') x = pop() x -= 1 if x < 1: pos += 1 jmp.pop() else: push(x) elif c == '{': log('start: ' + repr(pos)) jmp.append(pos) elif c == '}': log('end:') pos = jmp[-1] elif c == '#': literal = '' while True: c = read() if c == '.': log('literal: ' + repr(literal)) if literal == '': push(None) else: push(int(literal)) break else: literal += c является символом комментария к строке: он игнорируется, как и все, что находится между ним и следующим gcc -finput-charset=CP437 -fexec-charset=CP437 -std=gnu11 character.

Если вы разбираетесь в сборке x86, вот гораздо более читабельная версия исходного кода:

Если извлечь ассемблер из комментариев ниже # - Begin number - Marks the beginning of a number, for example: #42. . - End number - Marks the end of a number and pushes it to the data stack. ^ - Translate - Pops a number, and pushes the corresponding text from The Array. < - Write - Pops a value, and prints it to stdout. > - Read - Reads a character from stdin and pushes it as a number. If EOF, exit. { - Start Loop - Pushes the current location in the program to the call stack. } - End Loop - Go to the position specified by the top of the call stack. + - Add - Pop two numbers from the data stack, add them, push the result. - - Subtract - Pop into A, pop into B, push B - A. Both B & A must be numbers. ! - Duplicate - Pop from The Data Stack, push that value twice. _ - Discard - Pop from The Data Stack. = - Skip if Equal - Pop two values, if they are equal skip the next instruction and pop one item from the call stack. ? - Loop - Pop one number, subtract one, if it's less than one, pop one item from the call stack and skip the next instruction. @ - Array Separator - Marks the end of an array item. $ - Program End - Marks the end of the program. , you can assemble and run the Hex compiler. Input and output use stdin and stdout.

Подмножество Javascript -> Java, 504 байта

05AB1E, 2 байта (возможно, неконкурирующие)

Попробуйте онлайн!

Код в первой строке ввода, входные данные в последующих строках.

ноль, 0 байт

Невероятно, но, несмотря на то, что язык Nil не является полным по Тьюрингу, он достаточно выразителен, чтобы реализовать интерпретатор для самого себя, гораздо более кратко, чем это могут сделать многие «настоящие» языки. Представленный здесь пример представляет собой простую реализацию, но, используя передовые методы сжатия, разработчики Nil смогли создать работающие интерпретаторы всего за 0 строк кода.

Пиломатериалы, 0 байт

Lumber — это совершенно эзотерический язык программирования, изобретенный Несвязанная строка написан всего в 10 строках кода Пролога.

Не можете в это поверить? В этих программах были удалены комментарии, что делает исходный код интерпретатора более кратким.

lumber_corefuncs.pl:

lumber_types.pl

lumber_corefuncs.pl использует библиотеку lumber_types; и, в свою очередь, эта библиотека определяет модуль, в котором ничего нет. Следовательно, Lumber ничего не делает с произвольными входными данными, что, в свою очередь, является самокомпилятором.