From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Noah Lavine Newsgroups: gmane.lisp.guile.devel Subject: Re: The progress of hacking guile and prolog Date: Thu, 11 Nov 2010 14:13:17 -0500 Message-ID: References: <201010212223.23822.stefan.itampe@gmail.com> <87bp66q8g5.fsf@gnu.org> <877hgjx1w9.fsf@gnu.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1289502819 26654 80.91.229.12 (11 Nov 2010 19:13:39 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 11 Nov 2010 19:13:39 +0000 (UTC) Cc: guile-devel@gnu.org To: =?ISO-8859-1?Q?Ludovic_Court=E8s?= Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Thu Nov 11 20:13:35 2010 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1PGcaR-0007nc-7Y for guile-devel@m.gmane.org; Thu, 11 Nov 2010 20:13:34 +0100 Original-Received: from localhost ([127.0.0.1]:41082 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1PGcaN-0000yu-C5 for guile-devel@m.gmane.org; Thu, 11 Nov 2010 14:13:27 -0500 Original-Received: from [140.186.70.92] (port=42932 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1PGcaH-0000tI-Oq for guile-devel@gnu.org; Thu, 11 Nov 2010 14:13:23 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1PGcaF-0006Iy-7x for guile-devel@gnu.org; Thu, 11 Nov 2010 14:13:20 -0500 Original-Received: from mail-yw0-f41.google.com ([209.85.213.41]:61223) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1PGcaF-0006If-41; Thu, 11 Nov 2010 14:13:19 -0500 Original-Received: by ywi6 with SMTP id 6so1063277ywi.0 for ; Thu, 11 Nov 2010 11:13:18 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:sender:received :in-reply-to:references:date:x-google-sender-auth:message-id:subject :from:to:cc:content-type:content-transfer-encoding; bh=SbU9MaXKd4zr6dA7flCrmZOwxefc2fGK/HgTKKl1LtU=; b=HkgnDecohe4G05Ic5aWSRwgcJOSBuSk3WU8aiMotI9XMR8qYYQvt0lQTpmsIYtr2qY ou/CwH7coYd/7SqNJB4YWMRRrkHM/dc+dnA3btlq8WzbURwP9q8n/XXYKevrc0Wb40qO Paqv5A2mlUxo2xTtwdGd19MQtNhiJPd4PANCc= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type :content-transfer-encoding; b=SrGLZ6HQDkrkyAWBDZPhXtEhXj73Yqj7+4jTfEDCF8Iv6g7+BIHihqTYkcmFGDC2Xt a2x6WlYXyvlmRxLTuIA2jo7wFNC0UnOE6pIiv8H8ZZAWnAx6frwOLo1GZ7NOLuasUIPp j6y6HbXFzfM5BOlUq8FTqUsidKog7wQHqIINU= Original-Received: by 10.216.231.146 with SMTP id l18mr1111255weq.52.1289502797630; Thu, 11 Nov 2010 11:13:17 -0800 (PST) Original-Received: by 10.216.237.34 with HTTP; Thu, 11 Nov 2010 11:13:17 -0800 (PST) In-Reply-To: <877hgjx1w9.fsf@gnu.org> X-Google-Sender-Auth: MxS883CETScKWXqdm8A90tsjsKo X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2) X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:11130 Archived-At: Yes, that's right. I was unclear. I am intending to come up with a language that I can compile to C, to implement VM instructions. I meant I would compile something to C, not from it to machine code. Just to clarify, it probably won't be a subset of Scheme (although one could compile a subset of Scheme to this language). I was thinking of something more like register transfer language, so the compiler will be very simple. Noah On Thu, Nov 11, 2010 at 11:26 AM, Ludovic Court=E8s wrote: > Hi, > > Noah Lavine writes: > >> On a completely different note, I'm now looking at writing a compiler >> for a subset of C, which could eventually become a JIT compiler. If we >> could attach your GLIL->C compiler to that, it could produce a full >> Scheme->machine code compiler in Guile. > > Interesting. =A0I thought you were going rather to compile a subset of > Scheme to C, which could be used to implement VM instructions, no? > > Thanks, > Ludo=92. > > >