Re: [Haskell-cafe] Code generation and optimisation for compiling Haskell

2012-01-13 Thread Thomas Schilling
JHC itself is based upon Boquist's GRIN language described in his PhD thesis: Code Optimization Techniques for Lazy Functional Languages On 13 January 2012 01:50, Jason Dagit wrote: > On Tue

Re: [Haskell-cafe] Code generation and optimisation for compiling Haskell

2012-01-12 Thread wren ng thornton
On 1/12/12 8:50 PM, Jason Dagit wrote: On Tue, Jan 10, 2012 at 9:25 AM, Steve Horne wrote: Also, what papers should I read? Am I on the right lines with the ones I've mentioned above? Thomas Schilling gave you a good response with papers so I will give you a different perspective on where t

Re: [Haskell-cafe] Code generation and optimisation for compiling Haskell

2012-01-12 Thread Jason Dagit
On Tue, Jan 10, 2012 at 9:25 AM, Steve Horne wrote: > Also, what papers should I read? Am I on the right lines with the ones I've > mentioned above? Thomas Schilling gave you a good response with papers so I will give you a different perspective on where to look. Most of the Haskell implementat

Re: [Haskell-cafe] Code generation and optimisation for compiling Haskell

2012-01-12 Thread Steve Horne
On 11/01/2012 15:20, Thomas Schilling wrote: Based on your stated background, the best start would be the (longer) paper on the Spineless Tagless G-machine [1]. Thanks for the tips. I haven't read much yet, but considering [1], I guess I shouldn't have dismissed SPJs early 90's stuff so quickly.

Re: [Haskell-cafe] Code generation and optimisation for compiling Haskell

2012-01-11 Thread Thomas Schilling
Based on your stated background, the best start would be the (longer) paper on the Spineless Tagless G-machine [1]. It describes how graph reduction is actually implemented efficiently. Since then there have been two major changes to this basic implementation: Use of eval/apply (a different calli

[Haskell-cafe] Code generation and optimisation for compiling Haskell

2012-01-10 Thread Steve Horne
Although I'm far from being an expert Haskell programmer, I think I'm ready to look into some of the details of how it's compiled. I've a copy of Modern Compiler Design (Grune, Bal, Jacobs and Langendoen) - I first learned a lot of lexical and parsing stuff from it quite a few years ago. Toda

RE: [Haskell-cafe] code generation

2008-11-04 Thread Mitchell, Neil
> > I think using Template Haskell for your work would fit very > nicely, so > > is a good choice to learn :-) > > > I already got used to TH a bit, but I am not sure if it is > appropriate for my purpose, or at least not completely. > > I want to load Haskell code into my program at runtime

Re: [Haskell-cafe] code generation

2008-11-04 Thread Martin Hofmann
Sorry for referring to a post, a bit ago. > http://www-users.cs.york.ac.uk/~ndm/derive/ (Deriving Generic Functions > by Example). > Thanks for the pointer, it was already on my to-read-pile :-) > I think using Template Haskell for your work would fit very nicely, so > is a good choice to learn

Re: [Haskell-cafe] code generation

2008-10-21 Thread Anatoly Yakovenko
you can also write an interpreter in haskell that will typecheck using GADT's http://www.informatik.uni-bonn.de/~ralf/publications/With.pdf http://www.haskell.org/pipermail/haskell/2005-May/015815.html ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.

Re: [Haskell-cafe] code generation

2008-10-21 Thread z ghost
get machine-readable error data back from GHC somehow (in stead of an error string). I don't if this is possible. --- On Tue, 10/21/08, Antoine Latter <[EMAIL PROTECTED]> wrote: From: Antoine Latter <[EMAIL PROTECTED]> Subject: Re: [Haskell-cafe] code generation To: [EMAIL PROTECT

Re: [Haskell-cafe] code generation

2008-10-21 Thread Antoine Latter
2008/10/20 z ghost <[EMAIL PROTECTED]>: > hello, im interested in using haskell to generate code and make > little AI applications for fun.. > > is anyone already doing this sort of thing? it would be fun to collaborate > with people on this. > I've been doing some work with Haskell code-generatio

Re: [Haskell-cafe] code generation

2008-10-21 Thread Don Stewart
zghost123: >hello, im interested in using haskell to generate code and make >little AI applications for fun.. > >is anyone already doing this sort of thi

Re: [Haskell-cafe] code generation

2008-10-21 Thread Marc Weber
On Tue, Oct 21, 2008 at 03:04:27PM +0200, Martin Hofmann wrote: > We try to learn functional programs from examples, but our system is not > yet ported to Haskell, though we are working on it. However, we thought > about using TH. > > Do you have any pointers to papers, etc. ? You'll find our proj

RE: [Haskell-cafe] code generation

2008-10-21 Thread Mitchell, Neil
> > We try to learn functional programs from examples, but our > system is > > not yet ported to Haskell, though we are working on it. However, we > > thought about using TH. > > > > Do you have any pointers to papers, etc. ? You'll find our project, > > system and papers here: > http://www.

[Haskell-cafe] code generation

2008-10-21 Thread Martin Hofmann
We try to learn functional programs from examples, but our system is not yet ported to Haskell, though we are working on it. However, we thought about using TH. Do you have any pointers to papers, etc. ? You'll find our project, system and papers here: http://www.cogsys.wiai.uni-bamberg.de/effalip

[Haskell-cafe] code generation

2008-10-20 Thread z ghost
hello, im interested in using haskell to generate code and make little AI applications for fun.. is anyone already doing this sort of thing? it would be fun to collaborate with people on this. Here's some code as an example of the direction i'd like to go in. It builds up template haskell Exp