Hoopl

最近因为可能要用所以在看两篇Hoopl的文章

Hoopl: A Modular, Reusable Library for Dataflow Analysis and Transformation

Hoopl: Dataflow Optimization Made Simple

By Norman Ramsey, Joao Dias, Simon Peyton Jones

 

 

They are related to my thesis work, which is mainly involved using hoopl as back end of a DSL. I am going to first define a concrete intermediate language for the abstract syntax then use hoopl to generate code in other language. Moreover, it would be very interesting to see what kind of transformation could hoopl do and how could it help with optimazation.

 

The first aritcle is focus on hoopl it self, while the second one is more related to its application.

I spend whole day on install hoopl package~~~ The problem is my ghc is too new, lots of related libraris doesn't really support it. I tried really hart to update all libraries hoopl depends on to the latest version, but still didn't work. After all I have to remove whole haskell platform and install ghc 6.10.X then reinstall the haskell platform. But the cabal got some problem then and it is still not solved. Anyway, the hoopl package is done and ghc was update to 6.13.x, last April's release...

 

Then when i wanna try if it does work well, I realized that I cannot really write a single example with it. I tried to import Compiler.Hoopl, but ghc said syntax error. Frustrated~~ There isn't anything helpful online beside those two paper which do not really show you how to start~~ (I even find a link to my blog!)

 

Find a MIT cool guy, he talked about hoopl in his blog and he said he is going to write a tutorial on this. He is a genius!!! He hasn't finish his bachelor, but he has done lots of cool projects!! Shame on me~~

 

 

Received email from the hoopl group this morning and they told me they have fixed the problem and upload the latest hackage. Moreover, see the genius' name in the mail cause he is in that team :) Haven't done much on that today. I'm going to install GHC 7 and see if the problem is fixed. 

本文出自 “Ianto技术随笔” 博客，谢绝转载！