Самодельных ЯП тред

Ишь какой хитрый! Может мы хотим зарабатывать на них, делать

shareware - типа месяц-два можно пользоваться-пробовать, а потом плати $1000 если хочеш на нем работать

А вы с какой целью интересуетесь? На всяких gitохостингах полно небольших компиляторов в которых можно разобраться за пару вечеров.

Это из треда про Ya. Генитальный язык, ни че не скажешь.

Да, про гитхаб я в курсе. У меня метров 100 исходников всяких поделок валяется.

Ну, интересуюсь с целью найти лоровцев, которые писали сабж, посмотреть на поделку. У меня это типа увлечения.

Разве что брейнфак делал. Начинал делать forth, но забил.

как-то писал вариант какого-то васик. стремный он, нет желания хвастаться. еще писал для omgrofl транслятор и интерпретатор (аналогично, предпочитаю чтобы это никто не увидел).

Ну мы писали на курсе компиляторов 'свой язык'. Всё по учебнику, с закосом в сторону llvm.

preprocessor => lexer => parser (ast) => codegenerator (pseudocode в на стэкмашине) => backpatcher => а выхлоп в нужный формат (правда это уже не нами было написано): i386 asm, java byte code, javascript.

А так ничего примечательного: lexer - обычные автоматы, parser - два варианта recursive descent и табличный.
Кодогенерация с паттерном visitor.

Исходники не дам, потому как без фрэймворка к которому они прикручиваются они в общем-то бессмысленны, а фрэймворк я права публиковать не имею.

Писал компилятор Component Pascal в PIR, с целью удовлетворения внутренней потребности к извращениям. Забил.

Делал ЯП регулярных выражений для HTML

http://sites.google.com/site/pavelkolodin/html-parsing

Работает, но не нужно.

Делал, не ЯП, а рисовалку символами. Забил.

Пытался реализовать Forth, под впечатлением написанного RPN-калькулятора. Забил.

Пытался сделать транслятор из ML-подобного языка в Forth. Тоже забил.

Свой первый и я думаю последний ЯП я писал 16 лет назад.

Ой не, нафиг-нафиг. В компиляторах обычно костыль на костыле для реализации стройной системы. А всё от того, что целевые архитектуры ой как разнятся. Да и без этого (имея одну целевую архитектуру, будь-то VM или x86) рука всегда тянется оптимизировать, а оптимизировать и придерживаться хоть какого-то стандарта (даже собственного) - гиблое дело. Потому мало людей, которые будут делиться наработками, одно дело - объём работы, но мы же говорим об opensource, а другое дело - психологический фактор, когда в голове куча парадигм и перфекционизм мешает, тут не до шуток, свой «быдлокод» в этом направлении очень стыдно показывать. Хотя, имхо, в данном конкретном случае стыдиться нечего, т.к. именно в этой сфере можно найти уйму очень интересных хаков (которые нынче брезгливо величают костылями).

http://defun.co/xOvxhttp://defun.co/xOvx

Платформозависимые оптимизации делаются на стадии генерации. И там не должно быть костылей - конечные генераторы или вообще разные для каждой платформы или содержат разные правила для разных платформ. Т.е. все на своих местах. Платформонезависимые оптимизации делаются в некотором промежуточном коде и там нет костылей для разных платформ - они там вообще не учитываются.

Еще есть вариант писать код для одной платформы - для llvm, который и будет таким промежуточным языком. Правда тут есть проблема в том, что llvm не до конца платформонезависимый.

Если не нужна нативность, то можно писать под jvm или clr.

libjit тоже может помочь.

А это мое Хобби. Вот сейчас делаю три языка одновременно.

Ну музыкальный я видел, что еще?

Писал компилятор подмножества паскаля в си. Исходники тут http://code.google.com/p/hedgewars/source/browse/?name=webgl#hg/tools/pas2c

Хм. А что думаешь о PEG?

Не знаю что это такое. Ой, какой-то заумный computer-science штука. Не, я практег, с теорией у меня туго. Люблю изобретать велосипеды.

Есть еще Period и Microl.

Любая достаточно сложная программа на Си или Фортране содержит заново написанную, неспецифицированную, глючную и медленную реализацию половины языка Common Lisp.

исходников нет (в паблике) - не дошёл до пререлиза

писал компилятор в jvm (лень было возиться с нативом + куча плюшек «из коробки») языка с вывернутыми наружу кишками парсера (во всех его стадиях) и, собственно, компилятора, дабы меняя правила (локально или глобально) менять саму компиляцию «как душе угодно». Прототип был написан, попытка переписать его на нём-же подняла на поверхность «административные проблемы», проект [временно] заброшен.

Ну это, ты хоть опиши их.

Любая достаточно сложная программа на Си или Фортране содержит >заново написанную, неспецифицированную, глючную и медленную >реализацию половины языка Common Lisp.

Ой, ну не правда же. Особенно про скорость.

Какие там костыли. Кодогенератор выплёвывает псведо-машинный-код, который уже потом перегоняется во всё что угодно.

Для практиков к этой штуке библиотеки есть, вроде lpeg.

Да не, мне же хочется всё вглубь проработать. Функцию копирования строки написать с нуля... Как без этого. Вот я написал и успокоился, теперь можно и нужными вещами заняться.

Писал на перле интерпретатор недоязыка для автотестов. Исходников нету, остались в касперском.

Писал интерпретатор лиспа на C++.

на прошлой работе писал на питоне недо-интерпретатор для тестирования железа/софта для железа.

в универе писал интерпертатор брейнфака на окамле и схеме.

сейчас между делом пишу велосипед Coq eDSL -> Verilog.

Где? Здесь или можно в отдельной теме?

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

Как угодно. Можешь здесь, а можешь тему создать и кастануть меня.

Вот исходники моего эзотерического языка под названием «Empty»:

#!/bin/sh
echo ""

Он компилирует исходный код в пустоту.

Пф, даже не тьюринг-полный...

Исходники не дам, потому как без фрэймворка к которому они прикручиваются они в общем-то бессмысленны, а фрэймворк я права публиковать не имею.

Напомнило (только не обижайся) про одного чувака, который в некой рассылке писал, что у него есть вожделенный Meiko FPU, но он ни с кем не поделится, ибо NDA. Смешные вы, думаете, нужен ваш код кому.