使用HOOPL进行数据流优化

Question

我是Haskell程序员(我通常在Haskell中实现算法)并试图理解HOOPL库但我无法解码它.我没有编译器背景(目前正在学习Coursera和编译器:原理,技术和工具),如果你能建议我采用系统的方式来理解HOOPL库(前提条件是什么),那将会很棒.假设我有一个小的Haskell代码,我想在其上使用HOOPL应用数据流优化

add :: Int -> Int -> Int
add x y = z where
   x' = 1
   y' = 1 -- this will be dead code elimination 
   z = x' + 1 

如何编写HOOPL代码来优化它.如果你能给出一些更好的例子并且原谅我,如果我听起来很愚蠢,那就太棒了.

Answer 1

一个好的起点是拉动git repo,与Hackage上的内容相比,它有许多额外的文件.查看/ testing子目录,您可以看到一些简单的代码,用于定义基本的命令式语言以及对它的一些优化.