From mboxrd@z Thu Jan 1 00:00:00 1970 From: Jan Nieuwenhuizen Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group Date: Sun, 29 Dec 2019 09:09:26 +0100 Message-ID: <87zhfbv9hl.fsf@gnu.org> References: <87tv616q5s.fsf@posteo.net> <141B1FAE-6518-4E0C-8E69-C96BCB540545@lepiller.eu> <878smxegxp.fsf@gnu.org> <87tv5ls8kj.fsf@gnu.org> <871rspe3x3.fsf@gnu.org> <87png8apbe.fsf@gnu.org> 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]:37395) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ilTdg-0006Cv-BG for guix-devel@gnu.org; Sun, 29 Dec 2019 03:09:29 -0500 In-Reply-To: (Vicente Eduardo's message of "Sat, 28 Dec 2019 12:28:09 +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: Vicente Eduardo Cc: guix-devel@gnu.org Vicente Eduardo writes: Hi Vincente, > So it may make sense to write a small C compiler for Scheme and then > write the ML bootstrap compiler in Scheme, similar to what Guix does > to bootstrap itself with nyacc. What is "a C compiler for Scheme"? We are working on a C compiler written in Scheme, MesCC which is based on Nyacc; but that's not what you propose to do? Greetings, janneke --=20 Jan Nieuwenhuizen | GNU LilyPond http://lilypond.org Freelance IT http://JoyofSource.com | Avatar=C2=AE http://AvatarAcademy.com