Re: Haskell Virtual Machine?

Article View: comp.lang.functional

Article #1130

Back to comp.lang.functional Previous Next

#1130

From: Bernard James POPE
Date: Mon, 09 Jun 2003 02:49

36 lines
1983 bytes

golubovsky@mail.ru (Dimitry Golubovsky) writes:

>Hi All,

>I haven't looked into details of each Haskell runtime
>implementation; maybe there exist some papers decribing their
>internals. 

Yes, especially the "G machine" and the "STG machine". Google for these terms
and you will find some information. 

This paper is worth reading:

  "Implementing lazy functional languages on stock hardware: the 
  Spineless Tagless G-machine ", by Simon Peyton Jones

Also there are links to some papers from the GHC website:

  http://haskell.cs.yale.edu/ghc/

look under documentation.

>Has anyone tried to do such a conversion? Maybe such a project already
>exists?

There is also the "Lazy Virtual Machine", which might do a lot of what you
are interested in. See:

   www.cs.uu.nl/~daan/papers/lvm.pdf

Helium (a language like Haskell) uses it:

   http://www.cs.uu.nl/helium/

Cheers,
Bernie.

Technical Details

Message-ID: <bc0siv$fh1$1@mulga.cs.mu.OZ.AU>

Path:

arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!sn-xit-02!sn-xit-06!sn-xit-08!supernews.com!small1.nntp.aus1.giganews.com!border1.nntp.aus1.giganews.com!nntp.giganews.com!news1.optus.net.au!optus!news.mel.connect.com.au!news.unimelb.edu.au!mulga.cs.mu.OZ.AU!bjpop

References: <f45cab03.0306081256.169d5a74@posting.google.com>

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 107f24,66c6c633c3b962dd
X-Google-Attributes: gid107f24,public
X-Google-Thread: 10707f,66c6c633c3b962dd
X-Google-Attributes: gid10707f,public
X-Google-ArrivalTime: 2003-06-08 19:57:13 PST
Path: arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!sn-xit-02!sn-xit-06!sn-xit-08!supernews.com!small1.nntp.aus1.giganews.com!border1.nntp.aus1.giganews.com!nntp.giganews.com!news1.optus.net.au!optus!news.mel.connect.com.au!news.unimelb.edu.au!mulga.cs.mu.OZ.AU!bjpop
From: bjpop@cs.mu.oz.au (Bernard James POPE)
Newsgroups: comp.lang.functional,fa.haskell
Subject: Re: Haskell Virtual Machine?
Date: 9 Jun 2003 02:49:03 GMT
Organization: Computer Science, University of Melbourne
Lines: 36
Message-ID: <bc0siv$fh1$1@mulga.cs.mu.OZ.AU>
References: <f45cab03.0306081256.169d5a74@posting.google.com>
NNTP-Posting-Host: mundook.cs.mu.oz.au
X-Trace: mulga.cs.mu.OZ.AU 1055126943 15905 128.250.34.60 (9 Jun 2003 02:49:03 GMT)
X-Complaints-To: usenet@cs.mu.OZ.AU
NNTP-Posting-Date: 9 Jun 2003 02:49:03 GMT

Reply to Parent Message