On 9/20/07, Simon Peyton-Jones <[EMAIL PROTECTED]> wrote:
>
> | Cool, is it implemented in 2.8? Function tagging seems promising for
> | performance. But it isn't implementable in JavaScript :)
>
> I think it'll be in GHC 6.8.
>
I've meant 6.8 :)
--
vir
http://vir.comtv.ru/
_
| Cool, is it implemented in 2.8? Function tagging seems promising for
| performance. But it isn't implementable in JavaScript :)
I think it'll be in GHC 6.8.
| I have one more question. There are know calls (saturated
| applications) and unknown calls in STG. Is this information is encoded
| in
> Read our paper "Faster laziness using dynamic pointer tagging"! It's new
> (ICFP'07)
> http://research.microsoft.com/~simonpj/papers/ptr-tag/index.htm
>
> simon
>
Cool, is it implemented in 2.8? Function tagging seems promising for
performance. But it isn't implementable in JavaScript :)
I ha
| > For example:
| >
| > f =
| > let g = (THUNK h x)
| > in (CONS g y)
| >
| > Is this exactly the same as (right variant following the paper)
| >
| > f =
| > let g = (THUNK h x)
| > in let freshvar = (CONS g y)
| > in freshvar
Yes that's right. The only problem with the latter is t
On Thu, Sep 20, 2007 at 06:13:38AM +0400, Victor Nazarov wrote:
> I still have some questions regarding the GHC internals.
> There is a description of STG language in the "Making a Fast Curry:
> Push/Enter vs. Eval/Apply for Higher-oder Languages" (2004) by Simon
> Marlow and Simon Peyton Jones pap
I still have some questions regarding the GHC internals.
There is a description of STG language in the "Making a Fast Curry:
Push/Enter vs. Eval/Apply for Higher-oder Languages" (2004) by Simon
Marlow and Simon Peyton Jones paper. In this description the
constructor application (CONS closure) can o
I still have some questions regarding the GHC internals.
There is a description of STG language in the "Making a Fast Curry:
Push/Enter vs. Eval/Apply for Higher-oder Languages" (2004) by Simon
Marlow and Simon Peyton Jones paper. In this description the
constructor application (CONS closure) can o
On Mon, 17 Sep 2007, Neil Mitchell wrote:
> Hi
>
> > case e of b { pati -> rhsi }
> >
> > * evaluates 'e',
> > * binds the resulting value to 'b',
> > * performs case analysis on the result to find which alternative to choose
> > * binds the variables of the pattern to the components of the value
Hi
> case e of b { pati -> rhsi }
>
> * evaluates 'e',
> * binds the resulting value to 'b',
> * performs case analysis on the result to find which alternative to choose
> * binds the variables of the pattern to the components of the value
The Yhc.Core translator converts this to:
let b = e in c
p://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/CoreSynType
does that help?
Simon
| -Original Message-
| From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On
| Behalf Of Victor Nazarov
| Sent: 17 September 2007 11:48
| To: glasgow-haskell-users@haskell.org
| Subject: STG to
Victor Nazarov wrote:
Hello.
I'm working on the translation of GHC's STG language to
JavaScript. I've started my implementation, but I've got stuck with
the STG case statements. The problem is the binder in case expression.
StgCase expr livevars liverhsvars bndr srt alttype alts
Operationally,
Hi
Are you aware that Dimitry is still working on ycr2js - and has made
great progress. There are details available in The Monad Reader, issue
7 (http://www.haskell.org/haskellwiki/The_Monad.Reader)
Thanks
Neil
On 9/17/07, Victor Nazarov <[EMAIL PROTECTED]> wrote:
> Hello.
> I'm working on the
Hello.
I'm working on the translation of GHC's STG language to
JavaScript. I've started my implementation, but I've got stuck with
the STG case statements. The problem is the binder in case expression.
StgCase expr livevars liverhsvars bndr srt alttype alts
Operationally, I need to save continuat
13 matches
Mail list logo
