From mboxrd@z Thu Jan 1 00:00:00 1970 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group Date: Sat, 28 Dec 2019 00:56:53 +0100 Message-ID: <87o8vtcofu.fsf@gnu.org> References: <87tv616q5s.fsf@posteo.net> <1D33E23C-E6D6-4410-AAEF-75FE64A1E785@lepiller.eu> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:49627) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ikzTV-0006KK-9n for guix-devel@gnu.org; Fri, 27 Dec 2019 18:56:58 -0500 In-Reply-To: <1D33E23C-E6D6-4410-AAEF-75FE64A1E785@lepiller.eu> (Julien Lepiller's message of "Mon, 16 Dec 2019 21:10:40 +0100") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Julien Lepiller Cc: guix-devel@gnu.org Hi! Julien Lepiller 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=E2=80=99.