haskell - 使用 HOOPL 优化数据流

Question

我是 Haskell 程序员(我通常实现 algorithms in 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 存储库，与 Hackage 上的文件相比，它有很多额外的文件。查看/testing 子目录，您可以看到一些定义基本命令式语言的简单代码及其一些优化。