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

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.