Is there an overview of backend technologies for Haskell?
Hi to all, I'm wondering how the various backend technologies are regarded. What trade-offs are involved (e.g. spineless-tagless vs. generating machine code, seems to be very, very different), what options there might be, what the choice would be if a compiler were to be written from scratch, that kind of stuff. The first two pages of a web search for "Haskell backends" returned only references to GHC's LLVM backend. Which was interesting but not an overview :-) URLs welcome. Regards, Jo
One interesting comparison paper is Making a Fast Curry: Push/Enter vs. Eval/Apply for Higher-order Languages http://community.haskell.org/~simonmar/papers/eval-apply.pdf On 11/23/2015 09:53 AM, Joachim Durchholz wrote:
Hi to all,
I'm wondering how the various backend technologies are regarded. What trade-offs are involved (e.g. spineless-tagless vs. generating machine code, seems to be very, very different), what options there might be, what the choice would be if a compiler were to be written from scratch, that kind of stuff. The first two pages of a web search for "Haskell backends" returned only references to GHC's LLVM backend. Which was interesting but not an overview :-) URLs welcome.
Regards, Jo _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Intel Labs Haskell Research Compiler based on GHC may also be interesting for your http://www.leafpetersen.com/leaf/publications/hs2013/hrc-paper.pdf Karel On 11/23/15 08:53 AM, Joachim Durchholz wrote:
Hi to all,
I'm wondering how the various backend technologies are regarded. What trade-offs are involved (e.g. spineless-tagless vs. generating machine code, seems to be very, very different), what options there might be, what the choice would be if a compiler were to be written from scratch, that kind of stuff. The first two pages of a web search for "Haskell backends" returned only references to GHC's LLVM backend. Which was interesting but not an overview :-) URLs welcome.
Regards, Jo _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
participants (3)
-
Joachim Durchholz -
Karel Gardas -
Roman Cheplyaka