Julien Lepiller <jul...@lepiller.eu> writes: > 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 :)
I did not know of this project. Thank you for telling me! -- Brett M. Gilio <bre...@posteo.net> GNU Guix, Contributor <https://guix.gnu.org/>
