I am digging into the lambda language (as printed by -dlambda and as represented by the types in bytecomp/<a href="http://lambda.ml">lambda.ml</a>). 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?<br>
<br>The specific questions on my mind at the moment are:<br>1. How are types represented in the lambda IL? (they seem to be implicit but it&#39;s not clear) This is especially an issue with polymorphic primitives like &quot;field&quot; and &quot;apply&quot;.<br>
2. What do each of the operation (primitive and lambda) mean? What do they do and what types to they imply (if that&#39;s handled that way)?<br><br>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?<br>
<br>Thanks a lot!<br clear="all">-Arthur<br>