AU
Size: a a a
AU
С
С
AU
AU
AU
VP
С
С
SS
SS
AU
AU
SS
AU
AU
AU
A
- У Вас там какая система типов? А то, может, проще руками написать?
Логический движок даёт из коробки унификацию (первого порядка) и поиск с откатами. Если ни того, ни другого для проверки типов не требуется — проще на Rust руками на матчах закодить.
- Хороший вопрос! Но пока что я не знаю ответа, тк и язык, и интерпретатор существуют только в виде нечёткой идеи 🙂 …
- В принципе, даже сравнительно продвинутый bidirectional type checking без особых проблем руками пишется...
- (не уверен, может это уже оффтопик)
- я б тебя пофоткала, будь ты в минске
- да она ее на секс разводит!
нет вы видите?? видите??
- хочу сосиски с макарами
- пельмешки с народом!
- пойду я, пожалуй, полежу
держу в курсе
SS