From mboxrd@z Thu Jan 1 00:00:00 1970 From: "Orians, Jeremiah (DTMB)" Subject: Re: [Proposal] The Formal Methods in GNU Guix Working Group Date: Wed, 12 Feb 2020 12:02:34 +0000 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:51684) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j1qj0-0000Hv-7D for guix-devel@gnu.org; Wed, 12 Feb 2020 07:02:39 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1j1qiy-0007Iv-Qi for guix-devel@gnu.org; Wed, 12 Feb 2020 07:02:37 -0500 Received: from mail-bl2gcc02on2063.outbound.protection.outlook.com ([40.107.89.63]:19198 helo=GCC02-BL0-obe.outbound.protection.outlook.com) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1j1qiy-0007Gr-Ih for guix-devel@gnu.org; Wed, 12 Feb 2020 07:02:36 -0500 Content-Language: en-US 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-mx.org@gnu.org Sender: "Guix-devel" To: "vic798@gmail.com" Cc: "guix-devel@gnu.org" > I'm interested on this topic and I will try to help as much as I can. Good > The original idea of Brett is very interesting. In my case I would do the= base compiler implemented in C and using yacc (for example) to implement t= he grammar. > But it won't make sense in a community like Guix where most people know S= cheme rather than C/C++. > So it may make sense to write a small C compiler for Scheme and then writ= e the ML bootstrap compiler in Scheme, similar to what Guix does to bootstr= ap itself with nyacc. Well we already have a C compiler written in scheme, it is called Gnu Mes (= MesCC to be precise) We also have a scheme bootstrappable from nothing written in C https://github.com/oriansj/mes-m2 https://github.com/oriansj/mescc-tools-seed > This will solve more problems than Guix itself, because it seems this boo= tstrapping problem comes historically from the very first implementations o= f ML. Let us hope > As we talked yesterday with Brett via chat, PolyML is the only one that h= as been packaged in Guix but it is very tricky, because they have on the re= po the binaries to boostrap itself. That needs to be fixed > Writting a Scheme compiler should be easy, if we don't care about optimiz= ation techniques. It doesn't need that requirements. > But if you need any help in the low level area, I can help you guys. Well I need more help in the high level areas -Jeremiah