Метапрог-прототип, версия 6 + будильник на Метапроге

Я все же надеюсь что там не все так убого, хотя кто знает…

Я бы не надеялся…

Хм, вопрос был о другом. Вопрос был про то, как мне реализовать новый транслятор и какой API предполагается для этого. Хотя бы в общих чертах.

По идее, именно на этом API должен быть построен транслятор для C.

Вот буквально позавчера столкнулся с багом в Android. Конкретный билд был неизвестен, но был стектрейс. Я достаточно быстро в исходном коде нашёл место и причину, несмотря на то, что метод немного отличался. Как будет обходится подобная ситуация при случайной генерации? Диграмма-то, по сути, менялась.

А теперь проблема, которую я описал в своём комментарии. Повторюсь: вопрос в том, что для этого всего уже есть туча готовых инструментов. Как будет с этим всем работать metaprog? Или предполагается своя экосистема?

API транслятора

Ты погляди хотя бы тот ад, что он генерирует, какой нафиг API? Он наверное даже и не знает, что это такое.

Я не Ванга и телепатией не владею. Выкладывай мысли прямо, загадки отгадывать я не нанимался.

Метапрог транслируется в Си. Можно будет метапроговские сишные трансляции компилировать и для андроида.

Консистенция уровня записи в файл, без файлов консистенции нет, плохо

Что ты понимаешь под «консистенцией»?

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

Думаешь, транслятору из Метапрог-диаграмм нужна промежуточная сущность? Типа всяких там AST из текстовых компиляторов? По мне так блоки и связи между ними - уже сами по себе достаточно простая и понятная сущность.

Вот буквально позавчера столкнулся с багом в Android. Конкретный билд был неизвестен, но был стектрейс. Я достаточно быстро в исходном коде нашёл место и причину, несмотря на то, что метод немного отличался. Как будет обходится подобная ситуация при случайной генерации? Диграмма-то, по сути, менялась.

Если при изменении диаграммы не затрагивать соответствующую цепочку вызовов функций, то и в более новых версиях стектрейс будет актуальным. Но лучше все же использовать исходные диаграммы соответствующей версии.

блоки и связи между ними - уже сами по себе достаточно простая и понятная сущность.

И что, если я хочу генерировать LLVM-IR, ты предлагаешь мне парсить твои диаграммы вместо удобного для обработки машиной AST?

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

если я хочу генерировать LLVM-IR

Я тоже подумываю новый транслятор Метапрога «на самом себе» транслировать в LLVM-IR, но до этого еще далеко.

ты предлагаешь мне парсить твои диаграммы

Их не надо парсить, они и так уже в бинарном виде.

удобного для обработки машиной AST

В Метапроге нет «синтаксиса» в смысле текстовых ЯП и скорее всего прямая трансляция Метапрог-схем будет проще, чем генерация AST. Хотя вопросами именно компиляции (а не сишной кодогенерации) я еще серьезно не занимался, так что это всего лишь предположение.

Эээ, погоди, то есть диаграммы даже рисовать не надо? Надо просто смотреть на экран и медитировать? А добавлять не надо. Круто.

линейный поиск даже по тысячам блоков будет мгновенным.

Ну это вообще пушка. Ты кроме массива про какие структуры данных слышал?

Это же в стиле архиватора дениски Попова - любой массив данных в один бит.

Ты запутался в гениях, архиватор Бабушкин сделал, а не Попов.

А гусей кто терзал?

Про гусей не знаю, но вот в Саус парке был куроёб. Зато полицейский Барбреди научился читать.

Дениска-то здесь при чём, хоссподи? Дениска — паренёк, который один раз оступился и был за это жестоко наказан. Вообще неясно, жив ли он… У него ещё некоторое время в ЖЖ про гитару обсуждения были, а теперь вот такое.

А архиватор — это Бабушкин, совсем другой персонаж. Вот этот либо жулик, либо тролль (и да, мне лениво искать разницу между первым и вторым).

Очень смешно (нет)

Виноват, не слежу за нынешней порослью гениев:-( Да у меня вообще на имена память плохая, вечно путаю Бебеля и Гегеля. Склероз…

Я вам уже раза три минимум назвал причину по которой ваше «архитектурное» решение поломается. Ванга и телепатия тут ни при чем, вы просто думать не хотите, напишите хотя бы тестов тогда чтобы понять это эмпирически, вам так вроде проще. Ну и если уж хамить друг другу, я тоже не нанимался за вас думать, и сочинять ваше поделие.

Это очевидно и никак не соотносится с тем на что вы ответили, не очень понимаю зачем вы это вообще написали.

а теперь вот такое.

Кстати вот блин да, а если он того, самовыпилился? Так вот и ТСа же можно довести, и kostyarin_, и метапрогамать Диану…:-(

Тоже что и остальные, определение в свободном доступе.

очевидно же что нет, правда еще он вроде как структуры могёт, в общем что есть в стандартной поставке С то и использует. «Массивчики, если то иначе - программирование!!»

Коллега, Вы забыли упомянуть про когерентность, латентность, вирулентность и градиентность!:-)

Жёстоко заставлять ТСа читать в Гугле, это же работа с текстом. Надо бы всю Вики перевести в метапрог-диаграммы…

И фихтенгольца!

Фихтенгольца низя тут даже упоминать, это же МАТАН!!!111

Ну так я же предлагаю в диаграммы его перевести!

Это закончится сингулярностью и коллапсом солнечной системы

Разве не это конечная цель метапрога?

я вам предлагал луа,

Ты чоо? Это же галимая скриптуха! Царь не одобрит!

Вроде он хотел захватить мир а не уничтожить? Я запутался…

намекаете на то, что метапрог боготворит царя который в этих темах когда еще можно было писать из под анонима его же и с продуктами жизнедеятельности мешал?

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

метапрог боготворит царя

Учитывая, что он щас чуть ли не в каждом сообщении его упоминает… Да. Ну… Стокгольмский синдром, он такой.

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

Извлёк из удалённых по 7.1 технический вопрос:

Черт побери, КАК вообще можно было додуматься определять типы во время исполнения, а не компиляции, да еще и считать это более простым, чем статическая типизация???!!!

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

Ты вот сейчас, кстати, подошёл оооочень близко к пониманию своих разногласий с теми, кого ты называешь «антиметапрогерами». Вот сейчас люди читают и думают:

Черт побери, КАК вообще можно было додуматься создавать программы диаграммами, а не текстом, да еще и считать это более простым, чем текст программы???!!!

Уловил аналогию? Ещё раз: простота освоения — одно, простота применения — совсем другое.

И да, есть области, где «несамостоятельная скриптуха» рулит. Если мне надо будет прошерстить большой текстовый файл и выдрать оттуда некоторое количество осмысленных строк — я накатаю скрипт на несамодостаточном Перле потому, что он будет тупо короче. Каждому инструменту — своё применение.

И есть области, где графическое программирование тоже рулит, я в этом даже не сомневаюсь. Но из этого не следует, что оно будет рулить везде.

Кто сказал, что добавлять в диаграммы ничего не надо?

Ты кроме массива про какие структуры данных слышал?

Я этого вопроса уже не раз касался, но для особо одаренных обладателей Сакральных Знаний повторю. В Лабвью я использую: числовые типы, строки, кластера (аналог структуры), массивы и лабвьюшное подобие указателей. Это весьма похоже на сишную систему типов.

И животноводство!

Как на счёт деревьев?

деревьев

он уже писал, что ботаникой не занимается :]

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

Вообще-то это была не шутка. Поиск по массиву из тысяч кластеров в Лабвью может быть мгновенным (правда это зависит от кластера). А если все же будет ощутимо лагать - можно создать отдельный массив из номеров для ускоренного поиска, тогда и миллионы элементов проблемой не будут. Но откуда антиметапрогерам знать подобные нюансы?

«бенчмарков» мы конечно же не увидим и будем верить вам на слово )

Но даже если вдруг действительно лабвью имеет «список» (пес его знает что там внутри за структура данных, кода лабвью не у меня ни у вас нет, реверсинжинирить это поделие никто не станет только чтобы показать вам где вы прокалываетесь) который вы наивно считаете массивом потому что он себя ведет как условный массив, это не говорит о том что вы не должны знать как делаются подобные вещи. Для чистоты эксперимента отбросьте лабвьюшный «массив» и попробуйте реализовать условный «массив» самостоятельно.

Дениска-то здесь при чём, хоссподи? Дениска — паренёк, который один раз оступился и был за это жестоко наказан. Вообще неясно, жив ли он…

Не так уж он и оступился. Некоторые люди, имеющие власть и бабло, совершают поистине ужасные преступления. Не только черт знает когда, но и непосредственно в наши дни. Чего только стоит недовойнушка, на которых олигархи и чинуши по обе стороны СОВМЕСТНО делают миллиарды баксов, и им глубоко насрать что «терпилы» страдают. Что-то не слышно, чтоб их осуждали - еще бы, у них бабло и власть. А вот пацаненка за немножко неправильный форк убунты говном обливать уже черти сколько лет - святое дело. Где-то даже видел предложение подать на него в суд - ведь это не олигарх, который наймет дорогих адвокатов, купит судей и все сойдет с рук.

Я вам уже раза три минимум назвал причину по которой ваше «архитектурное» решение поломается

Назови в четвертый раз, корона с головы не упадет.