Size: a a a

Compiler Development

2020 June 16

МБ

Михаил Бахтерев... in Compiler Development
То есть, они собираются просто прологом выводить типы? Или пролог там с изюминкой?
источник

AT

Alexander Tchitchigi... in Compiler Development
С парой изюминок. Лучше посты почитать, на которые там ссылки.
источник

IR

IC Rainbow in Compiler Development
Alexander Tchitchigin
Переедут и относительно скоро. Процесс идёт.
ничоси! А к себе в язык же его тоже можно воткнуть? или там всё слишком специфичное для раста?
источник

PS

Peter Sovietov in Compiler Development
IC Rainbow
ничоси! А к себе в язык же его тоже можно воткнуть? или там всё слишком специфичное для раста?
А Вам для чего нужно? Есть сторонние очень интересные инструменты (Datalog-based) для задач статического анализа.
источник

AT

Alexander Tchitchigi... in Compiler Development
IC Rainbow
ничоси! А к себе в язык же его тоже можно воткнуть? или там всё слишком специфичное для раста?
Должно быть можно воткнуть как библиотеку.
источник

IR

IC Rainbow in Compiler Development
Peter Sovietov
А Вам для чего нужно? Есть сторонние очень интересные инструменты (Datalog-based) для задач статического анализа.
констрейнты генерить и солвить
источник

IR

IC Rainbow in Compiler Development
сколько можно уже каждый раз заново делать свою глючную половину пролога?
источник

PS

Peter Sovietov in Compiler Development
IC Rainbow
сколько можно уже каждый раз заново делать свою глючную половину пролога?
источник

IR

IC Rainbow in Compiler Development
> Soufflé synthesizes a native parallel C++ program from a logic specification.

а дальше?
источник

PS

Peter Sovietov in Compiler Development
IC Rainbow
> Soufflé synthesizes a native parallel C++ program from a logic specification.

а дальше?
А дальше — транслируете вашу программу в набор фактов Datalog. Формулируете задачу в виде набора правил — и позволяете решателю заняться остальным. Благо, там реализована эффективная компиляция в C++.
источник

IR

IC Rainbow in Compiler Development
и потом с крестами интегрироваться? да ну нафиг...
источник

PS

Peter Sovietov in Compiler Development
IC Rainbow
и потом с крестами интегрироваться? да ну нафиг...
Ну, кому что нравится. Я, например, без внешних решателей, как без рук. LLVM, например, полезная штука... %)
источник

AT

Alexander Tchitchigi... in Compiler Development
Ещё MiniKanren есть...
источник

PS

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

M

MaxGraey in Compiler Development
источник

МБ

Михаил Бахтерев... in Compiler Development
Японцы...
источник
2020 June 17

TC

Tom Cauf in Compiler Development
Вот тут

https://ru.stackoverflow.com/questions/708877/%d0%9a%d0%b0%d0%ba-%d0%bf%d1%80%d0%b0%d0%b2%d0%b8%d0%bb%d1%8c%d0%bd%d0%b5%d0%b5-%d1%81%d0%b4%d0%b5%d0%bb%d0%b0%d1%82%d1%8c-%d0%b2%d0%b8%d1%80%d1%82%d1%83%d0%b0%d0%bb%d1%8c%d0%bd%d1%83%d1%8e-%d0%bc%d0%b0%d1%88%d0%b8%d0%bd%d1%83-%d0%b4%d0%bb%d1%8f-lisp

Чувак пишет интерпритатор маленького лиспа на питоне. Если есть у кого время - помогите советами, плиз
источник

МБ

Михаил Бахтерев... in Compiler Development
https://www.infoq.com/presentations/functional-programming-parallelism

Интересный доклад с описанием проблематики представления функциональных алгоритмов в векторной форме. Описаны базовые идеи, проблемы, Accelerate и парочка приложений.
источник

AZ

Alexander Zaitsev in Compiler Development
Возможно, будет интересно: https://habr.com/ru/post/506832/
источник

SD

Sergey D in Compiler Development
Как по-русски называть register spilling?
источник