compiler commentary page/wiki

ocaml / v2.ocaml.org

Implementation of the ocaml.org website.

http://ocaml.org

Other

323 stars 345 forks source link

compiler commentary page/wiki #121

Open avsm opened 11 years ago

avsm commented 11 years ago

GHC has a really nice collection of insights into the internals of the compiler: http://hackage.haskell.org/trac/ghc/wiki/Commentary

It would be nice to start assembling notes that people have done for the OCaml compiler into a similar page for our toolchain.

A start;

"How OCaml type checker works -- or what polymorphism and garbage collection have in common" http://okmij.org/ftp/ML/generalization.html
"How to wrap C functions to OCaml" http://www.linux-nantes.org/~fmonnier/ocaml/ocaml-wrapping-c.php
"A beginners guide to OCaml internals" http://rwmj.wordpress.com/2009/08/04/ocaml-internals/

avsm commented 11 years ago

Also worth noting that Real World OCaml has a complete description of the heap format and C bindings, which will be freely available online when released later this year.

agarwal commented 11 years ago

Although this isn't exactly a "tutorial", it sounds like it could go there. We'll likely need to start structuring the tutorials into sub-sections.

yallop commented 11 years ago

There are also some notes on the Gallium wiki.

avsm commented 11 years ago

There are quite a few details on the compiler frontend, backend and runtime in Part III of Real World OCaml too.

https://realworldocaml.org/beta1/en/html/

-anil

On 27 Jul 2013, at 14:43, yallop notifications@github.com wrote:

There are also some notes on the Gallium wiki.

— Reply to this email directly or view it on GitHub.

Chris00 commented 10 years ago

@avsm @amirmc Good as part of the OCaml Labs compiler hacking sessions?