Cool! I'm somewhat involved in some projects to make llvm backed DSL design in Haskell super easy, with my own use case being analytical computation. Would love to hear more about how you're using llvm.
We're working on a system called Trecul [1]. If you're coming from Haskell, I'm sorry to say I doubt it would be to your liking. Right now we're spending most of our time migrating off Akamai infrastructure but pretty soon that will be done and we can give Trecul some love.
The code is open source but we've got almost no docs. We'll have to fix that eventually.
Thanks for sharing! Ill take a look later today to tease out interesting ideas
Yeah, C with some nice clang error messages is a much simpler language than c++.
I actually gave a talk last month about how to hook into the GHC rts using c or c-- (c-- is kinda like llvm IR with c syntax). Which reminds me, I need to catchup with the gsoc student I'm mentoring, he's writing a semiautomatic c++ ffi wrapper for Haskell. I should go do that.
