МБ
То есть, они собираются просто прологом выводить типы? Или пролог там с изюминкой?
Size: a a a
2020 June 16
AT
С парой изюминок. Лучше посты почитать, на которые там ссылки.
IR
Переедут и относительно скоро. Процесс идёт.
ничоси! А к себе в язык же его тоже можно воткнуть? или там всё слишком специфичное для раста?
PS
ничоси! А к себе в язык же его тоже можно воткнуть? или там всё слишком специфичное для раста?
А Вам для чего нужно? Есть сторонние очень интересные инструменты (Datalog-based) для задач статического анализа.
AT
ничоси! А к себе в язык же его тоже можно воткнуть? или там всё слишком специфичное для раста?
Должно быть можно воткнуть как библиотеку.
IR
А Вам для чего нужно? Есть сторонние очень интересные инструменты (Datalog-based) для задач статического анализа.
констрейнты генерить и солвить
IR
сколько можно уже каждый раз заново делать свою глючную половину пролога?
PS
сколько можно уже каждый раз заново делать свою глючную половину пролога?
IR
> Soufflé synthesizes a native parallel C++ program from a logic specification.
а дальше?
а дальше?
PS
> Soufflé synthesizes a native parallel C++ program from a logic specification.
а дальше?
а дальше?
А дальше — транслируете вашу программу в набор фактов Datalog. Формулируете задачу в виде набора правил — и позволяете решателю заняться остальным. Благо, там реализована эффективная компиляция в C++.
IR
и потом с крестами интегрироваться? да ну нафиг...
PS
и потом с крестами интегрироваться? да ну нафиг...
Ну, кому что нравится. Я, например, без внешних решателей, как без рук. LLVM, например, полезная штука... %)
AT
Ещё MiniKanren есть...
PS
Ага, уже не говоря о том, что программирование в ограничениях — очень широкая область. И пролог-подобные системы здесь только один частный случай. В компиляторах можно использовать и другие виды решателей, для которых спецификация задачи дана в виде ограничений.
МБ
Японцы...
2020 June 17
TC
Вот тут
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
Чувак пишет интерпритатор маленького лиспа на питоне. Если есть у кого время - помогите советами, плиз
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
Чувак пишет интерпритатор маленького лиспа на питоне. Если есть у кого время - помогите советами, плиз
МБ
https://www.infoq.com/presentations/functional-programming-parallelism
Интересный доклад с описанием проблематики представления функциональных алгоритмов в векторной форме. Описаны базовые идеи, проблемы, Accelerate и парочка приложений.
Интересный доклад с описанием проблематики представления функциональных алгоритмов в векторной форме. Описаны базовые идеи, проблемы, Accelerate и парочка приложений.
AZ
SD
Как по-русски называть register spilling?