Size: a a a

Compiler Development

2020 March 14

АВ

Александр Вольнов in Compiler Development
Т-34 85
так он же опенсорсный вроде, никогда не поздно
Язык поначалу не будет опенсорсным. Сначала заработаю денег на нём, потом открою сорцы через несколько лет.
источник

А

Алексей in Compiler Development
Александр Вольнов
У меня нет разделение на схему и данные. Текст может описывать как данные, так и типы, которые в свою очередь сами являются данными. А бинарь изоморфен тексту - он содержит ровно то же самое, только в компактном формате.
Тьюринг полный язык в качестве формате хранения и передачи данных? Что может пойти не так?
источник

p

polunin.ai in Compiler Development
Александр Вольнов
Вручную всегда можно сделать эффективнее под конкретную задачу. Конкретно мой язык в текущем варианте позволяет в потоковом режиме преобразовывать текст сразу в сериализованное AST в моём бинарном формате.
Генератор парсеров же ничего не знает о том, как он должен сериализовываться.
1. При запуске парсишь все описания, схемы и т.д. обычными комбинаторами.
2. Преобразовываешь в схему, в случае чего кидаешь ошибку.
3. При работе используешь ранее созданную схему.

Проблемы?
источник

Т8

Т-34 85 in Compiler Development
Александр Вольнов
Язык поначалу не будет опенсорсным. Сначала заработаю денег на нём, потом открою сорцы через несколько лет.
@zamazan4ik а как влиться? Аффтар хочет все славу и бабки себе
источник

p

polunin.ai in Compiler Development
Александр Вольнов
Язык поначалу не будет опенсорсным. Сначала заработаю денег на нём, потом открою сорцы через несколько лет.
Впервые вижу чтобы язык был не опенсорсным О.о
источник

АВ

Александр Вольнов in Compiler Development
Алексей
Тьюринг полный язык в качестве формате хранения и передачи данных? Что может пойти не так?
Там где повышенные требования к безопасности, его можно запускать с ограничениями. Я уже придумал подмножество для этого.
источник

SM

Sailor Moon in Compiler Development
polunin.ai
Впервые вижу чтобы язык был не опенсорсным О.о
мне это v напомнило. надо красивый сайт еще написать со всеми обещаными фичами
источник

p

polunin.ai in Compiler Development
Александр Вольнов
У меня нет разделение на схему и данные. Текст может описывать как данные, так и типы, которые в свою очередь сами являются данными. А бинарь изоморфен тексту - он содержит ровно то же самое, только в компактном формате.
Ой блять ты ещё скажи что схема может обновляться в рантайме
источник

АВ

Александр Вольнов in Compiler Development
Sailor Moon
мне это v напомнило. надо красивый сайт еще написать со всеми обещаными фичами
А он не опенсорсный разве?
источник

А

Алексей in Compiler Development
Алексей
Тьюринг полный язык в качестве формате хранения и передачи данных? Что может пойти не так?
Вы когда сделаете сервер, который будет общаться с клиентами по вашему чудо формату, вы тогда мне адрес скиньте.
источник

SM

Sailor Moon in Compiler Development
Александр Вольнов
А он не опенсорсный разве?
был закрыт долгое время
источник

А

Алексей in Compiler Development
Алексей
Вы когда сделаете сервер, который будет общаться с клиентами по вашему чудо формату, вы тогда мне адрес скиньте.
И я тогда в принципе попытаюсь показать что может пойти не так.
источник

p

polunin.ai in Compiler Development
Алексей
Вы когда сделаете сервер, который будет общаться с клиентами по вашему чудо формату, вы тогда мне адрес скиньте.
Если*
источник

А

Алексей in Compiler Development
polunin.ai
Если*
да, точно, важное уточнение
источник

АВ

Александр Вольнов in Compiler Development
polunin.ai
Ой блять ты ещё скажи что схема может обновляться в рантайме
В схеме может быть структура, первым полем которой является тип (например, формат пикселя), а вторым - значение этого типа (массив пикселей). В рантайме ты можешь распарсить файл изображения, с пикселем в любом формате, то есть любого типа, который закодирован в само изображение.
источник

А

Алексей in Compiler Development
Александр Вольнов
В схеме может быть структура, первым полем которой является тип (например, формат пикселя), а вторым - значение этого типа (массив пикселей). В рантайме ты можешь распарсить файл изображения, с пикселем в любом формате, то есть любого типа, который закодирован в само изображение.
А грабить корованы можно будет?
источник

А

Алексей in Compiler Development
Хотя если у вас схема тьюринг полная, нет разграничений между форматом передачи данных и схемой, то конечно же можно.
источник

Т8

Т-34 85 in Compiler Development
Алексей
А грабить корованы можно будет?
источник

АВ

Александр Вольнов in Compiler Development
Алексей
Вы когда сделаете сервер, который будет общаться с клиентами по вашему чудо формату, вы тогда мне адрес скиньте.
Ок)
С сервером будет такая стратегия. Клиент запрашивает у сервера тип данных запроса, который тот ожидает, на своей стороне формирует запрос в соответствии с этим типом и посылает серверу. Сервер парсит в соответствие с собственной схемой. И если никто в эту схему не запихнул возможность указывать любой тип, всё безопасно. И даже если запихнул, но на сервере активирован ограниченный режим, то он ругнётся на то, что нельзя работать с рантайм-типами.
источник

А

Алексей in Compiler Development
Обязательно кто-то забудет активировать ограниченный режим. Я прям гарантирую это.
источник