[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Proposal] The Formal Methods in GNU Guix Working Group

From: Ludovic Courtès
Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group
Date: Sat, 28 Dec 2019 00:56:53 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)


Julien Lepiller <address@hidden> 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!


reply via email to

[Prev in Thread] Current Thread [Next in Thread]