Hi! Julien Lepiller <jul...@lepiller.eu> skribis:
> I'm afraid OCaml is not bootstrappable. It uses a bytecode version of > itself (using a bootstrapped bytecode interpreter written in C) to > build itself. Fortunately this situation is being worked on by a phd > student of Xavier Leroy (and nixOS user) :). > > The plan is to write a compiler in C or Scheme (it currently exists, > but is written in OCaml) for "miniML" a small subset of the OCaml > language. Then, there is already an interpreter in miniML able to > interpret the OCaml compiler compiling itself. Once the miniML > compiler is bootstrapped, we will have a path from C to OCaml :) Do you have pointers to this work? Hannes of MirageOS also mentioned it at the Reproducible Builds Summit. It sounds exciting! Ludo’.
