Re: [Haskell-cafe] Strict Core?

2010-10-16 Thread Max Bolingbroke
Hi Gregory, On 15 October 2010 22:27, Gregory Crosswhite gcr...@phys.washington.edu wrote: Out of curiosity, are there any plans for GHC to eventually use the Strict Core language described in http://www.cl.cam.ac.uk/~mb566/papers/tacc-hs09.pdf? I do not have plans to add it. I think it would

Re: [Haskell-cafe] Strict Core?

2010-10-16 Thread Atze Dijkstra
Hi, UHC indeed has an experimental typed core, which includes strict core (and is also based on GHC's core, and Henk). However, for UHC it is also quite a bit of engineering to make it produce typed/strict core for all language features, especially since it has to come from untyped core

Re: [Haskell-cafe] Strict Core?

2010-10-16 Thread Andrew Coppin
On 16/10/2010 09:57 AM, Max Bolingbroke wrote: I do not have plans to add it. I think it would be worth it - perhaps worth a few % points in runtime - but I've started researching supercompilation instead, which has more impressive effects :-) From what I've seen, strict core makes several

[Haskell-cafe] Strict Core?

2010-10-15 Thread Gregory Crosswhite
Hey everyone, Out of curiosity, are there any plans for GHC to eventually use the Strict Core language described in http://www.cl.cam.ac.uk/~mb566/papers/tacc-hs09.pdf? Cheers, Greg ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Strict Core?

2010-10-15 Thread Andrew Coppin
On 15/10/2010 10:27 PM, Gregory Crosswhite wrote: Hey everyone, Out of curiosity, are there any plans for GHC to eventually use the Strict Core language described in http://www.cl.cam.ac.uk/~mb566/papers/tacc-hs09.pdf? Is that because I just mentioned the paper? Regardless, I'd be quite

Re: [Haskell-cafe] Strict Core?

2010-10-15 Thread Gregory Crosswhite
Yes, I had seen this paper before and wondered the same thing at the time, but it was only just now when you brought the paper up that I realized I could ask people about it here. :-) On 10/15/2010 03:01 PM, Andrew Coppin wrote: On 15/10/2010 10:27 PM, Gregory Crosswhite wrote: Hey

Re: [Haskell-cafe] Strict Core?

2010-10-15 Thread Andrew Coppin
On 15/10/2010 11:10 PM, Gregory Crosswhite wrote: Yes, I had seen this paper before and wondered the same thing at the time, but it was only just now when you brought the paper up that I realized I could ask people about it here. :-) I wonder if anybody has a list somewhere of really cool

Re: [Haskell-cafe] Strict Core?

2010-10-15 Thread Luke Palmer
On Fri, Oct 15, 2010 at 4:21 PM, Andrew Coppin andrewcop...@btinternet.com wrote:  On 15/10/2010 11:10 PM, Gregory Crosswhite wrote:  Yes, I had seen this paper before and wondered the same thing at the time, but it was only just now when you brought the paper up that I realized I could ask