caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Arthur Peters <amp@singingwizard.org>
To: caml-list@inria.fr
Subject: [Caml-list] Documentation of the OCaml Lambda Intermediate Language
Date: Thu, 7 Apr 2011 13:37:15 -0700	[thread overview]
Message-ID: <BANLkTimRSXQ-pRm61eiaNb_sABgdXPmxUw@mail.gmail.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 953 bytes --]

I am digging into the lambda language (as printed by -dlambda and as
represented by the types in bytecomp/lambda.ml). And it mostly makes sense
however I still have a constant stream of questions. So I was wondering: Is
there any internal documentation for the lambda IL?

The specific questions on my mind at the moment are:
1. How are types represented in the lambda IL? (they seem to be implicit but
it's not clear) This is especially an issue with polymorphic primitives like
"field" and "apply".
2. What do each of the operation (primitive and lambda) mean? What do they
do and what types to they imply (if that's handled that way)?

Just for some background I am a grad student in a compilers course and I am
looking to build a simple LLVM code generator that takes lambda and output
LLVM bytecode (allowing it to use all the fun JIT and optimization, etc
features of LLVM). Out of curiosity has this been attempted before?

Thanks a lot!
-Arthur

[-- Attachment #2: Type: text/html, Size: 1062 bytes --]

             reply	other threads:[~2011-04-07 20:37 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-04-07 20:37 Arthur Peters [this message]
2011-04-08 11:26 ` John Carr
2011-04-09 14:54 ` Vincent Aravantinos

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=BANLkTimRSXQ-pRm61eiaNb_sABgdXPmxUw@mail.gmail.com \
    --to=amp@singingwizard.org \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).