From mboxrd@z Thu Jan 1 00:00:00 1970 From: Brett Gilio Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group Date: Mon, 16 Dec 2019 21:40:58 -0600 Message-ID: <87r213y5yt.fsf@posteo.net> References: <87tv616q5s.fsf@posteo.net> <1D33E23C-E6D6-4410-AAEF-75FE64A1E785@lepiller.eu> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:42401) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ih3jK-0004n3-PE for guix-devel@gnu.org; Mon, 16 Dec 2019 22:41:03 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ih3jJ-0007OR-LT for guix-devel@gnu.org; Mon, 16 Dec 2019 22:41:02 -0500 Received: from mout01.posteo.de ([185.67.36.65]:51063) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1ih3jJ-0007Mp-FQ for guix-devel@gnu.org; Mon, 16 Dec 2019 22:41:01 -0500 Received: from submission (posteo.de [89.146.220.130]) by mout01.posteo.de (Postfix) with ESMTPS id CFC3A16005E for ; Tue, 17 Dec 2019 04:40:59 +0100 (CET) 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 Julien Lepiller 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 GNU Guix, Contributor