p
p0lunin lvl up! (3 lvl)
спасибо
Size: a a a
2020 April 03
O
а в расте опыт не нужен
одолжи-ка мне свой чай...
p
M
СУБД писать
Ну мы то уже начали
M
Верней я начал
M
Хипо видел
M
Если бы не курсачи я бы уже парсер и мердж три написал
M
Сук иксы упали
𝐦
Сук иксы упали
Что ж ты сделал то.
𝐦
Бд для бигдата?
p
я придумал, переквалифицирую свой язык в язык для описания конечных автоматов с правилами перехода, и т.д.
p
и обмажу теоремами
G
Вот это уже интереснее!
G
Ещё научи его встраиваться в популярные языки
G
И не стыдно показывать будет
G
Если проект доведётся до ума, можем добавить пример конечного автомата на теоремах в teloxide
G
Правда жопа как FFI делать с теоремами
G
Я не знаю как
G
Можно не FFI, можно кодогенератором из твоего DSL тайп-чекать и генерировать в Rust