Описание тега hoopl
Hoopl - это библиотека оптимизации высокого порядка в Haskell для поддержки анализа и оптимизации потока данных.
1
ответ
Примеры монадических эффектов внутри функции перезаписи в Hoopl?
Тип (перезаписывающих) функций перезаписи в Hoopl задается mkFRewrite функция: mkFRewrite :: (FuelMonad m) => (forall e x. n e x -> f -> m (Maybe (hoopl-3.8.6.1:Compiler.Hoopl.Dataflow.Graph n e x))) -> FwdRewrite m n f m Тип подразумева…
01 июл '11 в 15:30
2
ответа
Как объединить блоки графов Хупла / как пройти через блоки
Я пытаюсь ввести Hoopl в некоторый компилятор и столкнулся с некоторой проблемой: создание графика для Hoopl заставляет узлы появляться в порядке введенных меток. Например: (define (test) (if (eq? (random) 1 ) 2 (if (eq? (random) 2 ) 3 0) ) ) "компи…
20 авг '11 в 18:14
1
ответ
Оптимизация потока данных с использованием HOOPL
Я программист на Haskell (обычно я использую алгоритмы на Haskell) и пытаюсь понять библиотеку HOOPL, но не могу ее расшифровать. У меня нет опыта работы с компиляторами (в настоящее время я учусь у Coursera и Compilers: Принципы, Методы и Инструмен…
29 май '12 в 19:26
2
ответа
Как я могу объединить CheckingFuelMonad с государственной монадой в Hoopl?
Я использую библиотеку Hoopl и хотел бы перенести некоторое состояние во время переписывания. Функции перезаписи полиморфны относительно используемой монады, но я не могу понять, как объединить State монада с одним из библиотеки Fuel монады. Ниже пр…
27 июн '11 в 15:36
1
ответ
Hoopl: построение графа и автоматическое удаление недостижимых блоков
Я работаю над проектом с использованием библиотеки Hoopl, и я столкнулся с загвоздкой, которая указывает мне, что я не полностью понимаю, что происходит под капотом. Вкратце, Hoopl, похоже, считает некоторые блоки в моем графике недостижимыми, чего …
09 мар '20 в 15:15